Just a quick update from me re. status. Among other things, I recently bough a house (happened somewhat quicker that anticipated), so spare time has been in limited supply the past few weeks. It looks like I'll be doing quite a bit of painting/gardering/fixing throughout the summer. Just wanted to let you know so you don't think anything is amiss, except temporarily less time for hobbies