fix curl url
Merge pull request #342 from braddr/update-urls

fix curl url
fix Issue 10410 - Improve cast(void) documentation
Merge pull request #343 from 9rnsr/fix10410

Issue 10410 - Improve cast(void) documentation