diff --git a/data/gui/help1.stkgui b/data/gui/help1.stkgui index ee9d19613..7983bb68b 100644 Binary files a/data/gui/help1.stkgui and b/data/gui/help1.stkgui differ diff --git a/data/gui/help3.stkgui b/data/gui/help3.stkgui index 469b2bf99..9eb49aa11 100644 Binary files a/data/gui/help3.stkgui and b/data/gui/help3.stkgui differ