Closed waldyrious closed 6 years ago
self-merging as this is a minor, uncontroversial documentation change with no effects in the actual code.