Looking forward to digging through the source code on this one. Pleasantly surprised that text selection with both mouse and keyboard worked intuitively and smoothly (Ubuntu/Chrome) -- usually I'd expect this kind of trickery to break down at some boring edge case like this. Same for zooming with Ctrl+mousewheel.