No matches were found for subject:"\[fricas\-devel\] Bad input in HyperDoc => if '\)set message time on' time is displayed in the interpreter"