No, the whole thing is too much like work. The CSS has no license so anyone is free to rip it off and use it.

Plus I’m sure the devs are frantically dealing with far more important issues to do with scaling, spam and moderation so they won’t get to my PR for months. This user script approach gets a result out there immediately.