Paged options

A page window keeps the rendered set small while every rendered option stays a real element. The boundary buttons keep focus and take aria-disabled, so the boundary is discoverable rather than gone.