s3: Slightly simplify serverid_exists