License information All material in this repository is licensed under CC BY-SA 4.0 if not otherwise stated in the files themselves.