Entering edit mode
So, I rebooted my browser (should have done that first, I guess) and
I did NOT overwrite the reference manual. But I still cannot
understand what happened. Was this a browser problem?
--Naomi
