Updates the API documentation with the new worker list endpoint.
None.
Adds new documentation.
To be filled in by the reviewers
There are no unnecessary files present in the MR
The continuous integration has no problems with the MR
The MR is filled in as requested (including labels, milestones, and reviewers)
The documentation is up-to-date
00:08:53
May 7, 2019
No artifacts found
00:16:48
