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/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
