Thanks for clarifying! I'd be neutral on whether to keep or archive - that's ultimately your decision and not one that'll have drastic impact at this point - but against outright deletion.
