Ajax Paging: Make the current page number editable ('jump to page')

[d22]

[dbrgn]

I'd make this rather low-prio, as it's always possible to change the page number in the URL directly.