We considered it, but it sounded like the dsteem developer (johan) could handle the update himself in a day or two, so it seemed to be more efficient to have him make the changes.