Searching for "workspace" or "pager" yields no results on gitlab.xfce.org

When searching gitlab for "workspace" or "pager", it returns no results.

It's apparently not considered an app or panel-plugin, but a component of xfce4-panel itself.

Would it be possible to add an informational note somewhere, or a dummy section under panel-plugins, just to let people know where to go with Workspace/Pager issues?