tools: trim leading whitespace in documentation extract.