made fold be shift+F10 as well, to not clash with the OS.