[ros-users] doc indexer stuck again?

The ROS documentation indexer has not completed a pass for many days
now. That can be frustrating when trying to finish development for a
new release.

I recall hearing that it often gets stuck polling various unresponsive sites.

Is there some way the list could be broken into multiple pieces, with
reliable sites visited nightly and others on a "best can do" schedule?
--
 joq