Found a fix for a long-standing bug in a Firefox extension I use.