Принудительное обновление страницы в FF под XFCE

Ключевые слова: XFCE, ^F5, ctrl-f5, control-F5

Понадобилось мне "начисто" обновить страничку одну, а то из-за мусора в кэше отображалась неправильно. Жму ^F5 и ничего не происходит. По "просто" F5 обновляется, клавиши ctrl работают обе. Случайно нажал ^F3 и попал на третий из четырех рабочих столов XFCE.
В гноме есть утилита, где глобально настраиваются комбинации клавиш. В XFCE я такого не нашел, за исключением убогой настройки клавиш для вызова конкретных приложений.
Путём усиленного гугления получил подтверждение своей догадке: оболочка перехватывает эти комбинации чисто для переключения между рабочими столами. Штатного GUI для изменения этого я не нашел.
Пришлось, как советовали на одном из форумов, идти обходным путем:

1. "клавиатура" - "горячие клавиши"
2. назначаем на нужную ^Fx какое-либо безобидное приложение, например, терминал или калькулятор
3. получаем в ответ ругань на тему "Занято!", в смысле, "данная комбинация уже зарезервирована для оконного менеджера" (в настройках оконного менеджера параметров клавиатуры я не нашел). Ругань, правда, условная: предлагается либо оставить всё как есть, либо отобрать эту комбинацию у оконного менеджера
4. выбираем "назначить" - хрен оконному менеджеру, а не комбинация, которая мне нужнее в другой программе! "Свойства клавиатуры" не закрываем.
5. пробный старт - по указанному хоткею запускается то, что нам надо.
6. удаляем свеженазначенный хоткей
7. возвращаемся в программу. где он был нужен: вуаля! В моем FF страничка стала показываться так, как и должна была.
8. закрываем "Свойства клавиатуры" и работаем в штатном режиме. Пока не найдется очередная комбинация, бессовестно перехваченная оболочкой...

размышлизмы основаны на материалах отсюда. Спасибо тем, кто советовал.