I believe the plan is to rotate banners every few months, possibly adding others if good ones come along (but this one would be hard to top). I suppose the blog's theme could be rewritten to do it automatically if we got that many, but I don't think I need to start working on that yet.