do not install_github tdhock/animint
Merge branch 'facets' of github.com:tdhock/animint into facets