Add Rafal and Roel to acknowledgements.
Updates to BDD post from blog writeup
A couple of tweaks in the appendix syntax to make it compile.