In the wake of President Biden's mention of nuclear "armageddon", and Elon Musk tweeting that "nuclear war probability is rising rapidly," it is natural that people have pondered online what they would do, and where they would shelter, in the event of a nuclear war.