// The users page's public face: how the shell and the navigation know it.
export { usersModule } from "./module";