[Concept] [PATCH 4/5] doc: Drop the SPHINX progress message