proof setup with pasties injected, moving out to web-module