Is encoding a path into the domain part a good URL format? This will generate URLs like workspace://foo%2Fbar/.