[server-pro] remove ShareLaTeX branding from filesystem GitOrigin-RevId: c1d2c63bdc888d81e03bb1721e44b6ed6f64524b