gitlab: Update hotdoc

39 jobs for !319 with plugin_names in 5 minutes and 41 seconds (queued for 5 seconds)
latest merge request