You fixed it before, but it came back. F2 works if Save command is disabled.
Please re-fix it.
Uh-oh. F2 still works even if the file is not modified. [573]
Sigh. Several of my fixes got erased at revision 520, and this was one of them. Refixed.
Good. Fixed in 576.