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:25, 2 June 2022 (UTC)Reply