The other point is that as you pointed out, flask *redirects* from /new to /new/ if we declare the endpoint using /new/ only, while if we declare it with both, then both urls are valid and correct.

If you could re-do your patch that would be nice, the remaining change is a good one I think :)