This has to be very near or even at the top of the the best must-have add-ons for Reddit. Many thanks to the FF developer who, at my request, converted it from a Chrome extension.