v8.2.3825
52797bae · patch 8.2.3825: various comments could be improved ·