Docs copyediting: Add more external URLs; add backticks, etc.