fixup! Fixed page_source() for newer Android versions.