Did Gmail just add pagination to my inbox or has this been around for a while and I hadn't noticed?