Hi Ric, thank you for the tip! Yes, I have seen Obsidian and I like it a lot. I’ve been using it in the past 2 weeks (basically since a day after I wrote the posting above, see https://www.zylstra.org/blog/2020/07/getting-to-like-obsidian/ )