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

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().

Start at DocumentUri.ToUri(), tracing how DocumentUri.Path is assigned to UriBuilder.Path, and compare the two paths and resulting URIs shown in the report. Confirm the intended percent-encoding behavior; done means the two distinct source paths no longer produce identical URIs.