Put the appendix under CC-BY 4.0
The title says this all. I hereby relicense my contributions to the appendix under the CC-BY 4.0 license.
For this to complete, I need similar statements from all other contributors: @robbertkrebbers @jjourdan @abizjak