remove_help
Wer auf die Online-Hilfe von AVM nicht (mehr) angewiesen ist, kann diese
mit diesem Punkt aus dem Image entfernen lassen - und gewinnt damit ein
paar Kilobyte zusätzlichen Platz für andere Dinge. U.U. gibt es dann an
der einen oder anderen Stelle einen "hässlichen toten Link" - aber damit
lässt sich sicher leben
