User-agent:
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:9.0) Gecko/20111222 Thunderbird/9.0.1
Do we have a policy about whether bug tickets are needed for every
change? I happened to see a silly coding error and would prefer to avoid
the overhead of a bug ticket for such things.
