POST: Remove duplicated post_hotkey_pressed() functions