Lemmy is not in any way the safe haven it has been marketed as.
Marketed? Lemmy is not a company and there is no marketing department. Generally, what you know about Lemmy is word of mouth from people who used it before you. No one controls the narrative in the end.
I agree, F5 would have been better since it is the standard on Linux and Windows. The only reason why I found out is because I’m used to do cmd+R on Mac (I use Mac at work so I got familiar with it).