This has happened. The Phabricator production server is now phab1001 (again) and not phab1003 anymore.
Phabricator now runs on Debian stable (buster) and PHP 7.3.
https://phabricator.wikimedia.org/T238956 shows all the related patches and can be used to report issues.