Firefox SSL bug workaround

Perusing bugzilla led me to a workaround that solves this problem: install the Firefox help.