Change docs to say <F9> runs to cursor, fix #44