docker: Update hotdoc with latest fixes

26 jobs for master in 34 minutes and 24 seconds (queued for 3 seconds)
latest