Stupid question, but is 404 the real designator of that city, or a pun towards the HTTP error code?

Edit: And what a great read, thank you!