Hi! The vignettes were growing too big to be packaged together with the code on CRAN. As such, the whole manual has been moved to a dedicated website. Please visit it here: https://hugomflavio.github.io/actel-website/index.html