Ara Adkins

Great! I look forward to proper mobile support!

Oh, I think there's been some confusion! I didn't say that I could _work_ on it—unfortunately I've not got the time at the moment—just that I look forward to it...

That's very exciting!

I should note that Eruda has a number of [plugins](https://github.com/liriliri/eruda#plugins) that are quite useful. Some may be worth integration as well.

~~I just ran into this when attempting to compile idris2 for javascript. In my case it was `prim__os` that is missing, and I don't see it on the list above....

I'm seeing this as well, unfortunately! I think it may be related to having far too much feed content in the `data.json`. I've got 102 feeds, in my case. There...

I’ve seen this too with trying to run StaSh, but I can’t reproduce it.

Amazing! I'm super super looking forward to this! Thanks so much.

The particular ones that I had in mind at the time were [collapse all](https://github.com/OfficerHalf/obsidian-collapse-all), which has now been superseded by stock Obsidian, and [reveal active file button](https://github.com/claremacrae/reveal-active-file-button-plugin).

Thank you for the pointer.