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