The former lead designer of Gmail just fixed Gmail on his own

I wouldn't mind giving this a try with Firefox, but I haven't had much luck making Chrome-specific WebExtensions work even though they're ostensibly compatible now.