honestbleeps/Reddit-Enhancement-Suite — pull request #1765 by mc10 (2014-11-10 19:16:56+00:00)
Title: Add type="button" to buttons

Should have been added in the first place.