I just came across this (and {{’”}}). Looking at the examples, it seems like this could be replaced by {{“ ‘}}: should it be turned into a redirect? --YodinT 16:24, 2 June 2022 (UTC)Reply