Paul Eggert 096a3b29b5 maint: remove po/en.po
* po/en.po: Remove.  It wasn’t being used, and we’re now doing its
intent in a less-hassly way.
2025-09-09 10:23:01 -07:00
..