Should % in DocumentUri.Path be encoded in DocumentUri.ToUri()?

[shenglol]

DocumentUri.ToUri() produces identical Uris for different file paths:

var filePath1 = @"c:/foo bar/test#.txt";
var filePath2 = @"c:/foo%20bar/test%23.txt";

DocumentUri documentUri1 = DocumentUri.FromFileSystemPath(filePath1);
DocumentUri documentUri2 = DocumentUri.FromFileSystemPath(filePath2);

Console.WriteLine(documentUri1.Path); // /c:/foo bar/test#.txt
Console.WriteLine(documentUri2.Path); // /c:/foo%20bar/test%23.txt

var uri1 = documentUri1.ToUri();
var uri2 = documentUri2.ToUri();

Console.WriteLine(uri1); // file:///c:/foo bar/test%23.txt
Console.WriteLine(uri2); // file:///c:/foo bar/test%23.txt

Can anyone confirm if this is by design or a bug? If it's a bug, I think the fix would be to encode % in DocumentUri.Path before assigning it to UriBuilder.Path in DocumentUri.ToUri().