wenzelm@6609: 
wenzelm@6636: s/\\([a-zA-Z]+)\s*/$1/g;
wenzelm@6609: s/\$//g;
wenzelm@6609: s/^BOOKMARK/\\BOOKMARK/g;