Stefano Sabatini <stefasab <at> gmail.com> writes: > So I did my mind and I prefer the "#0:0:" variant, although it is > slightly confusing. change? First patch pushed. Thank you, Carl Eugen