@bjorn and i recently discussed that we want to put the documentation comment into the source file. would be cool if you could do that with the two functions you added here (no need to adapt the old existing comments)