Philipp Stephani schrieb am So., 28. Juni 2015 um 15:12 Uhr: > OK, I'll try to come up with a patch. > I've attached a patch that uses the same mechanism as the check for old-style backquotes.