FYI, I've looked over all the changes to the head of your queue branch, and they all look fine. For docs and Makefile changes, I'm not sure if we need a more formal system than this, or was there a merge request that I was supposed to review and I just overlooked it. -Ben