Refresh website content, add contrib docs to the generation pipeline
LGTM, merging. Do you remember how we updated the website?
Refresh website content, add contrib docs to the generation pipeline
bug: apt-ppa-noninteractive
add optional file parameter to allow for use in a loop without object_id clashes