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