I suspect it is being conflated with "simple-char".
Activity
davidtaffs commentedon Dec 3, 2017
... or perhaps "string-char'.
davidtaffs commentedon Dec 4, 2017
oops... closed it by mistake.