log tests/name.urs

age author description
2010-05-18 Adam Chlipala URL-escape with '.' instead of '%', to avoid confusing proxies