This, together with the "Expand sidebar on hover" for vertical tabs, means that I can almost stop using a customized userchrome.css file completely, and that I'

This, together with the "Expand sidebar on hover" for vertical tabs, means that I can almost stop using a customized userchrome.css file completely, and that I've disabled Sidebery. It's great to have this implemented natively!