I tried to grab @SecDef just now, they appear to have it blocked/internally reserved

Huh. Maybe they just do that automatically when a verified account renames itself, to keep the old one reserved? Who knows.