On Tue, Feb 3, 2026 at 11:21 AM G. Branden Robinson <[email protected]> wrote: > 9. The "symbolchars" file got deleted. Oddly, I can't find the commit > that did this. Its contents seem redundant with "symbol.map", > however.
It appears that commit ec2327b6b deleted it for exactly that reason.
