I suggest we leave this page as it is for a few weeks, in case the original author wonders what happened. We can delete it afterwards. --Crox (talk) 20:41, 7 January 2021 (UTC)
