Hi,
In case you are using some readline facilities through rlwrap (fricas -rl) I wanted to let you know that some Debian based distributions, like mine, and even Debian, ship maxically the 0.47 version. The 0.48 version is Nov 13, 2025 and fixes issues I encounter since some times now:
rlwrap would mess up history when compiled with readline-8.3
--filter 'filter_commandline $with <shell_metachars' would not find filters in $RLWRAP_FILTERDIR
rlwrap would not always honour show-mode-in-prompt
make pipeline filter find filters in $RLWRAP_FILTERDIR
I have built a .deb package with this 0.48 version, I will perform some tests and if all is right I will fill a version dump issue for the Debian package maintainer.
Greg