Thread:MondlichtPanda/@comment-37484301-20190822133834/@comment-37823074-20190827120754

Since Jimmy and Joaquin got added (fairly) recently to misc, maybe his page was supposed to be deleted and it just fell by the wayside/we forgot?