Use URL instead of Url or url in comments and strings

This replaces #789.