Just, when you get a chance, look at the tools and maybe the test link above, because if something looks user-deleted and the user says it's not, something may be either misread, or misleading. If the issue comes up again I can respecify the test. Also unscored.arete.network is giving me different views and notes and colorations for user-deleted and mod-deleted test comments, so it may be usable as a resource too.