Just in case you are wondering: This project is not dead. For a number of reasons we’ve had to put it on hold for a while, but hopefully, we’ll be able to get a few things done in January. There will be another break in spring, though, so it will be a while before things get back to normal.
I guess I should have put this up months ago, but I just didn’t think of it…