re: #742 iceweasel

Proggy and prog are used by the kind of site that posted that comment I just quoted above.

Doesn’t belong here.

Prog = Progressive Rock.
:rolls eyes:
;)