Translate: _toc.markdown, addons.markdown and assert.markdown