[PATCH] Improve #'read-quoted-char, #'quoted-insert