Dynamically generate JDex file from JDex notes in Obsidian

Since there is a group by and list view in the new Obsidian insider version, my additional index view is now:

filters:
  and:
    - type == "index"
formulas:
  headerized: if(file.basename.contains("■"), icon("arrow-big-left"), "")
views:
  - type: list
    name: index
    groupBy:
      property: file.folder
      direction: ASC
    order:
      - file.name
      - formula.headerized
    separator: " "

The arrow part is ugly, but I wanted to somehow mark header ids. Later on I’ll try to make it less ugly xD

(Upd. strictly speaking, I don’t need type: index anymore, I should be able find all index notes by filename pattern)