155637

And, as I suspected, leaving grub for a few days and coming back to it made it fairly clear what the bug I was having with scrolling. So I should be able to dust off the final bits of this patch this afternoon without any real difficulty.