Sim, esse é um bug conhecido ... e, felizmente, isso já foi resolvido (por isso, não há necessidade de denunciá-lo)
O pessoal do programa Windows Insider testou uma versão do Edge que lida melhor com barras invertidas e pontos decimais na barra de endereço. Então, isso praticamente garante que essa correção estará na Atualização de Aniversário para o Windows 10 que é esperada para julho.
Para referência futura: use a ferramenta interna "Enviar comentários" de dentro do Edge para relatar (ou até mesmo evitar) problemas como esse.