I'm in favor of asciitilde. When typing in Spanish I never use dead_tilde, but use asciitilde quite often in my shell and in URLs, so when it was changed I was a bit surprised and inconvenienced. Also, when necessary, I can type characters with dead_tilde using the compose key. -- Jacobo Tarrío | http://jacobo.tarrio.org/