Bump, with new ideas added.