Board Thread:General Discussion/@comment-24739709-20151201202536/@comment-1370845-20151210184414

Potentially stupid question - should we know delete MediaWiki:Pagetitle and MediaWiki:Pagetitle-view-mainpage, since they're no longer used?