This is a short bonus post. The Government Digital Service has published a developer’s guide to closing the government. This appears to be a set of instructions for making changes to the Government Ministers sections of the UK Government website. (Hat tip Peter K. Wells).
It is, apparently, quite easy to close a government:
And quite easy to open a new government (who knew?!)
But beware, if you want to change the Prime Minister: