These are great ideas, thank you! I will file the issues now (they'll be at https://gitlab.com/codeshelter/codeshelter-web/issues https://gitlab.com/codeshelter

These are great ideas, thank you! I will file the issues now (they'll be at https://gitlab.com/codeshelter/codeshelter-web/issues https://gitlab.com/codeshelter/codeshelter-web/issues if you want to track them).