Huh, neat. Though I wonder why they didn't just use $PAGER.