Program note · OSS contributions

Fix emoji box borders

Fix emoji breaking box() borders by measuring display width instead of string length, and de-duplicating the width helper.

Revised 17 Aug 2026