Or perhaps not; there are apparently special hilfe commands for that.

(I don't see any good reason why the normal function calls can't do
the job, however.)

Rev: lib/modules/Tools.pmod/Hilfe.pmod:1.98