On 2012-10-28 00:08, Arne Babenhauserheide wrote: > [..] (though I’m not really happy with @… I > never like additional non-ascii identifiers I have to remember). Huh? @ *is* an ASCII character. And, FWIW, we have some precedent: @ is already in use by 'log --graph' to mark the working directory parent(s).