Site menu items: encode invalid characters

Currently, an item like : /foo/bar/foo[bar].html is not encoded.

One of or clients is using this as a workaround:

private String getItemUrl(HstSiteMenuItem menuItem) {
HstLink link = menuItem.getHstLink();
if(link != null) {
StringBuilder url = new StringBuilder();
for(String elem : link.getPathElements())

{ String enc = NodeNameCodec.encode(elem); url.append("/").append(enc); }

return response.createNavigationalURL(url.toString()).toString();
}
return "#";
}