neither on CI nor on my local mac can i use `f2` to rename files despite the menu tip suggesting otherwise. 