I think this page is/was used by mediawiki or a skin to generate a sidebar menu item. We should check that is is no longer needed, or if it is still used add some content. Claus chr (talk) 10:12, 14 September 2023 (UTC)
