New branch 'remove-dead-code' available with the following commits: commit 17d4a7a7dfba8f478d6e016b206e7277396ac7c2 Author: Behdad Esfahbod <behdad at behdad.org> Date: Sat Feb 12 22:12:53 2022 -0600 [scaled-font] Remove dead code This code has been commented-out since I've known.