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.

C’mon - is it any term from there not to be used, or just that one?