i forgot to update the manual, a revised patch is attached. Eli Zaretskii writes: >> Date: Sun, 03 Aug 2025 00:10:11 -0400 >> From: zach shaftel via "Bug reports for GNU Emacs, >> the Swiss army knife of text editors" >> >> just a couple small updates to the PRINT-OVERRIDES argument to >> prin1/prin1-to-string. fixes the typo "unreadeable-function", and adds >> an override for `print-symbols-bare'. > > Thanks. > > Stefan, any comments?