Account sorting should be case insensitive

[chaghi]

Beancount 2.3.6, Fava 1.27.3

Currently the account ordering in the account tree and other places seems to be case-sensitive, so for example Assets:ADE appears before Assets:Abc. This is a bit confusing; sometimes I'm using uppercase for abbreviations, and it's unexpected to find the natural alphabetical ordering kind of broken because of this.

I don't know if this is intentional, but even if so, I think Fava should provide an option to control that.

Minimal example file:

option "operating_currency" "USD"

2024-05-14 open Assets:Abc:1st
2024-05-14 open Assets:ADE:2nd
2024-05-14 open Assets:XXX

2024-05-14 open Expenses:Foo
2024-05-14 open Expenses:Bar

2024-05-14 open Income:Test

2024-05-14 * "Foo"
    Assets:Abc:1st         -15.00 USD
    Expenses:Foo

2024-05-14 * "Bar"
    Assets:ADE:2nd         -20.00 USD
    Expenses:Bar

Result

The alphabetical order in the accounts tree is not respected:

Expected result

I'd expect Assets:Abc sorted before Assets:ADE:

⌄ Assets
   ⌄ Abc
      ⌄ 1st
   ⌄ ADE
      ⌄ 2nd
   XXX