I can’t be the only reddit migrant who often instinctually goes to a given community by typing /r/community, only to be 404d. If the /r/ path isn’t being used for anything else, is it possible to have it dynamically redirect to /c/ instead?