Thank you, Python! I got important and urgent mail in a format that my rather-out-of-date Gnus (on a server that I don't control) failed to show me, except in its raw form. A search for tools to parse the raw multipart/mixed MIME formatted message, now in a file, turned out one promising thing: the Python standard library email.parser.
And it worked beautifully :) Usefully documented, too, so that I was able to work out what to do with it. -- https://mail.python.org/mailman/listinfo/python-list
