Bei manchen Browsern gibt’s zwei Arten von Reload (oder gar drei?), die da wären: URL-Feld anwählen und Enter; F5/Reload; und Shift+Reload.