Implements #857 Jump to Page in pagination