2025-June-19 - 2.7.15088

Minor: test configs, update local lobby port to 5000 (#13484)

Matches the current scripts (in .docker) that would set up a lobby
for a developer environment. Eventually we'll want to go back to port
80 when there are  multiple servers.