This should really be synchronized with the codespaces and github configuration but... I'm not clever enough to do all that.