Google’s John Mueller, in an SEO Office Hours session, answered a question about whether the <article> semantic HTML element has an impact on Google.

Google share stats on the volume of code it manages and, not surprisingly, it’s a whole heck of a lot.

Converting Google Docs documents to HTML is easy. You can export documents as HTML, or use Docs to Markdown add-on from the Store to get the job done.