This is build from the repo and automatically published. This particular file source is located here: https://github.com/apache/nuttx/blob/master/Documentation/reference/user/03_task_control.rstFrom the main documentation page you would find this under the API Reference section and then Userspace
In any case, it is good that it is there. Thinks for doing that. I suspect that not many people are aware of it.
