Started studying Tinderboxpushlog, in part to look at fixing bug 699711, but also so I can document it - current documentation is scant - and take a crack at fixing some other bugs. I aim to have the bug and docs wrapped up early next week.