Fully resolve extension method argument. Fixes #11213
Use curl instead of wget
Add localized infinity symbols. Fixes #9052