Translate: _toc.markdown and addons.markdown