This is to celebrate passing the 10,000 milestone in the problem numbers (there are fewer than 10,000 actual problems, but it's fun to get into 5 digits ...). Thanks to everyone who's contributed to the site!