various-fixes-w12 into develop
Keys/IDs have been inadvertently changed.
Maintenance operation of our GitLab server is scheduled for Thursday, November 28 at noon. The server will be unavailable for about two hours.
Keys/IDs have been inadvertently changed.