Things have been quiet here since the vote. I saw a little bit of activity about the SPI contacts, but nothing else? what is the schedule for various things to happen (renaming git repos, etc)? David Lang