greasemonkey

Greasemonkey is a Firefox extension that allows you to customize the way webpages look and function.

files

gmailfixreplies.user.js - A very old file, circa 2009 or thereabouts. I haven't used it in many years and it is very likely that it no longer works as expected.

links

greasespot.net