HEAD is now at 3c68bba A few more notes/discussions
3c68bbaa6f0f3622b62236699eb93c28cd585ea6