STIX-Web: move some stretchy operators to fontdata-extra