3.8.3 (2022-11-28) Continuous Integration give tag an output (36771fd) Miscellaneous docker: remove erroneous extra copy (9225582) ignore docs and add web to Dockerfile (95f112c)