Upstream has decided to fix the documentation instead; see changeset 674d545ee303aa99701ffb982536851572d8db77.
Upstream has decided to fix the documentation instead; see changeset 674d545ee303aa9 9701ffb98253685 1572d8db77.