Update documentation

5 jobs for master in 6 minutes and 14 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Build
passed #3448
build_bionic

00:02:54

passed #3447
build_stretch

00:02:27

 
  Sign
passed #3449
sign

00:00:26

 
  Deploy
passed #3450
pages

00:00:27

passed pages:deploy

00:00:01