Add wg23 gpg key
Also add to indentation of indented lists which previously were not showing as indented in the rendered html version
GitLab will be updated on 12-Feb-2026 between 12:00 and 14:00. There may be small periods of service instability.
Also add to indentation of indented lists which previously were not showing as indented in the rendered html version