• @mastazi
    link
    English
    13 days ago

    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).