15.1 Getting Page Source https://w3c.github.io/webdriver/webdriver-spec.html#getting-page-source
*** This bug has been marked as a duplicate of bug 180399 ***