Futile attempts to get escape key working in FireFox