Remote branches
  • master

    02b4e6c Document somewhat, among final (?) tweaks 2026-248 21:44:25