Vaadin 流 (23.2.0) 无法路由带有双斜线的 Url (//)

Question

当 Vaadin (23.2.0) 遇到带有双斜杠 (//) 的请求时，它不会抛出错误，也不会将请求转发到任何路由，它只是显示一个空白页面。

这些按预期工作：

• https://127.0.0.1/账号
• https://127.0.0.1/账号/

这些不：

• https://127.0.0.1/账号//
• https://127.0.0.1//账号

我期待它清理双斜线并路由请求，或者我有没有办法拦截这个请求并清理 URL？