Thread:ZeoSpark/@comment-31116152-20170622084051/@comment-5429417-20170622124930

Ah. Honestly, yeah, it can be deleted. I don't know why I created that category back then but it really doesn't make much sense now.