Indeed, I just figured I'd share the full setup. IIRC, Stylus was derived from "Stylish", which was a hugely popular CSS override extension that became spyware around 2016 and was taken down in 2018, and now Stylus (and others of course) fill the gap. It would be very nice to have this integrated into the browser, I agree.