what replaces specinfra (it's a goal...) - View it on GitHub