Use curl --remote-name instead of curl -O to fix broken docs lint