fattr: add mappings for comment, lang, mimetype
scrape-gmane: accept article URLs with …/match=
scrape-gmane: emit mbox headers
logout: detect GNOME
sexp.py: dump ints as strings