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.