`append('"')`, i.e. append a Char when possible