On Tue, 12 Sep 2023 21:57:31 GMT, Justin Lu wrote:
> JDK .properties files still use ISO-8859-1 encoding with escape sequences. It
> would improve readability to see the native characters instead of escape
> sequences (especially for the L10n process). The majority of files changed
> are local
My original intention with this cleanup was to keep using `[Html]IndexBuilder'
for both the "All Classes" and the main index, but just improve separation of
code and naming of classes. However, I then discovered two things:
- The "All Classes" page is so simple to build that it doesn't justify
