Thread:DiopsideDove/@comment-37829085-20191204134107/@comment-37459810-20191204171459

I deleted them, they were old.

I do that from time to time, partly to avoid necroposting, and partly just so there aren't seven pages of closed and open threads that are now irrelevant.