Patches pushed as 7b5b42129e13e60f0a140e0e7845e715b535a997 and following with a few fixes (commit messages, incrementing 'revision'). Thanks.