gromit-mpx.1 | 15 8 + 7 - 0 !
1 file changed, 8 insertions(+), 7 deletions(-)

 manpage hotkey

The Debian package uses "Pause" as the default hotkey, for
compatibility with the old gromit package, and also because (to be
honest) I personally use F9 for something else.  This patch document
the change in gromit-mpx(1).