Holy fsck! 30 years on the web and today I learn about this Alt/Option trick. Thank you!