@aral What are you planning on doing with the Raspberry Pi 4? Are you intending to use it as a desktop or server?
(It's _supposed to_ be able to run GNOME and a normal web browser at normal desktop speeds now, apparently! It's exciting to have such a little, cheap computer.)