Oh, that's much nicer. Thank you, applied (along with the gitignore patch). -- Russ Allbery (rra@debian.org) <http://www.eyrie.org/~eagle/>