Renaming "uri" -> "url"

There are ~1,300 “uri” tags, and 340,000+ “url” tags. “uri” is not documented anywhere, and I only found one way with both. Any objectiotns to renaming uri → url? Almost all of them are near London. Thanks!

To obtain clearance for bulk edits in London, you will need to propose this on the talk-GB mailing list.

URI is a more general term than URL, so it is conceivable (although unlikely) that some of these instances are URIs, but not URLs.

There seems to be only a small number of clusters of these (Southampton University, some TfL related material, etc.) so it may be better to contact the authors of the changesets that created them.