Shield experience 9 upgrade, server dissapeared

… and today something’s happened because PMS isn’t running and there are no options under Settings > Plex Media Server

I reinstalled the APK “just in case”, and rebooted more than once among the way.