Documenting snapVerfication more extensively and adding Bayesian Filtering files to GIT.