Really like the idea to support the documentation team. But just for my info: are there any investments needed right now or is it to buy time so people can spend their time on optimising the documentation?

I’d also be interested to know, what the plans for 2019 are and what the money is used for (has been used for in 2018 and how it will be used in 2019). This applies to all budget proposals: The distribution of the money is not very transparent to me.