On the one hand, I hear you. On the other hand, `curl`-ing and placing the docs there seems error-prone and subject to external problems (network errors, changing URLs). So I didn't necessarily want to try to handle this in the formula.

If the two options are do it or keep silent, I guess I would go with keep silent is what I'm saying. I'll leave this here overnight, and if nobody else pipes up, I'll just cut the caveat.