“pinned section” is another name for Scroll pinning.