That was quicker than I expected, given the time of year: in either a week or two (depending on whether all the necessary resources can be lined up on their end), I'll be back on the train heading to a new job. It's late and I've been fighting with Radeon DRI issues on my newish desktop all night, so I'll defer on the details until later.