This change of license was approved by the project board and applies to
all the artifacts appearing in this repository, at the moment of this
commit or later until the project license gets changed again (if at
all).