well, if they don't use it they copied it quite heavily 😂 But decided to just copy the Umbraco.css for my isolated development to minimize migration issues when I implement in Umbraco