Many of you have noticed the DW icon off in the right sidebar. In fact, 901 of you have downloaded it. This icon is the mobile app for this blog, and enables you to receive push notifications and such. This paragraph is what you might call a service announcement. Starting this evening, that service will not be functional for around 3 days. At the end of that time, it will be back in the saddle, newer and fresher, and with lots of different code in it. Thanks for your patience.