It was migrated long ago.  The old URLs still work (redirect)
at this point, but I see no reason to keep using them.