Hmm. I keep having the bug, where adjusting the font size won't work: the whole text gets huge or tiny spontaneously. Also, I don't find their tag system that

Hmm. I keep having the bug, where adjusting the font size won't work: the whole text gets huge or tiny spontaneously. Also, I don't find their tag system that good for later navigation (this is especially the case on the web version).