Bugs 453446 (no Tipptrainer menu entry) and 452994 (no Debian Gnome panel menu) are related. Having 452994 fixed would most probably fix bug 453446, but at the same time, according to joss at debian.org, one "should file bugs against [Tipptrainer] so that they provide a desktop file." //Johan