User-agent:
Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.0
Because the aim of good language is not to sound more formal but more
natural, I'm including abbreviations again into the One Hundred
Papercuts project documentation.