No matches were found for subject:"\[fricas\-devel\] $ in hypertex \\example command"