如何在 Ubuntu 18.04 或 19.04 中禁用帮助 F1 键？

Question

很久以前有人问过这个问题这里，但在 18.04 之后，没有一个答案适用于 Ubuntu。

如何禁用“Ubuntu 桌面指南”的 F1 键绑定？我希望它什么都不做。每次我意外地按 F1 而不是 Esc 或 F2（这两者都很有用）时，Ubuntu 桌面指南都会受到不必要的干扰，而什么都不做将大大改善 Ubuntu 桌面指南的不必要中断。

如果除了不打开 Ubuntu 桌面指南之外，还能让它做其他事情，那就太好了。