I'd like to add him to the authors.txt file for the git mirroring. njanssen: if you're reading this and don't mind getting added to the authors.txt file write me a short line in this format: njanssen = YOUR NAME <your-email at host..> Marc Weber