diff -r 32f439d70127 -r c07252cc7476 docs/schema/config.xsd --- a/docs/schema/config.xsd Sat Dec 14 09:45:39 2019 +0100 +++ b/docs/schema/config.xsd Sun Dec 15 09:18:26 2019 +0100 @@ -89,6 +89,7 @@ +