Translate: documentation.markdown and synopsis.markdown