minor renaming, some commented debug measurements for scroll view (hard-to-reproduce-consistently issue with iframes bigger than HTML content height)