docs($docs/user/server/server.md): #773 add "handling overridden filenames" section