0.13.23 (2021-10-30) Bug Fixes fonts: correct width of \cong glyph, fix \boldsymbol{\cong} (#3206) (35db4ff), closes #2199