If I press ´ followed by pretty much any other button in hilfe I get

Error decoding [0xb4] using utf8: Invalid byte. /usr/local/pike/7.9.5/lib/modules/_Charset.so:1: _Charset.UTF8dec()->feed("´") /usr/local/pike/7.9.5/lib/modules/Stdio.pmod/module.pmod:1815: Stdio.FILE("stdin", "r", 777 /* fd=0 */)->__lambda_66475_0_line_1814("´") /usr/local/pike/7.9.5/lib/modules/Stdio.pmod/module.pmod:1716: Stdio.FILE("stdin", "r", 777 /* fd=0 */)->low_get_data() /usr/local/pike/7.9.5/lib/modules/Stdio.pmod/module.pmod:2118: Stdio.FILE("stdin", "r", 777 /* fd=0 */)->read(1024,1) /usr/local/pike/7.9.5/lib/modules/Stdio.pmod/Readline.pike:582: Stdio.Readline()->InputController()->run_blocking() /usr/local/pike/7.9.5/lib/modules/Stdio.pmod/Readline.pike:1658: Stdio.Readline()->edit("",UNDEFINED,UNDEFINED) /usr/local/pike/7.9.5/lib/modules/Tools.pmod/Hilfe.pmod:2538: Tools.Hilfe.StdinHilfe()->create(UNDEFINED) /usr/local/pike/7.9.5/lib/modules/Tools.pmod/Hilfe.pmod:2474: Tools.Hilfe.StdinHilfe()

Ignoring whatever is wrong with the terminal settings, where should this error be caught? It doesn't feel like something the user of the Readline object should have to care about, or is it?