Brice Bosson

This feature would be very relevant if you have the time :) Thank @danfickle

We agreed to implement behavior (a) and add additional -100 / -10 / +10 / +100 buttons to navigate faster, or perhaps a text input to type a page number.