Bugfix: Routing failed with routes with same path but different request
methods; comment added to MenuGenerator source