The vignettes have been moved to my website, so I can maintain them more easily. GitHub Issue is a place for discussing any problem.