Back from vacation

[David Evans]

Just to let you all know that I returned home from my (very successful) vacation abroad this weekend. Just committed a
few updates and will be getting back up to speed slowly this week and then (hopefully) back to normal after the US 4th
of July holiday.

Many thanks to jeremyhu@ and mojca@ and any others who stood in for me while I was gone.

Best regards,
Dave Evans