A few notes on my trip to Tokyo in April 2024. To be posted soon.