В чем разница между F5 и Ctrl-F5 в Firefox, связанная с событиями JavaScript?

Когда вы пробуете эту общедоступную страницу: http://slim.nl/shop/default.aspx (обновление: тем временем этот сайт изменился так, что поведение этого вопроса больше не может быть проверено там) вы увидите строку меню. Если вы нажмете F5 , меню на этой панели исчезнет. То же самое, когда вы переходите на эту страницу с помощью кнопки «Назад» в браузере. Это происходит только в Firefox (в версиях 3-7). Используя Ctrl - F5 , снова появляется строка меню.

Насколько мне известно, все события JavaScript, которые запускаются при загрузке страницы, включая любые циклы AJAX, также должны запускаться при обновлении страницы с помощью F5 или при переходе на нее с помощью кнопки «Назад». Что здесь происходит?

Я хотел бы знать с точки зрения программиста, в чем разница между F5 и Ctrl - F5 , желательно более общим, чем как раз в этом случае. Если, конечно, это не ошибка Firefox.