Sweet, now up to 4.0.634.0. Can't say it is dramatically better (scrolling is still quite jerky), but it could not have been much worse than it was. For one thing it now seems to know which apps it has installed (as opposed to those managed by the Google updater), which is a vast improvement over what I had.