Gadgeteer.WebServer vs MicroWebServer

Any thoughts on relative strengths of using Gadgeteer.WebServer vs StefaanV’s MicroWebServer ( to implement a non-trivial web service on Gadgeteer hardware?

Comments were made a year ago suggesting that HttpListener (used by MicroWebServer) was unstable or had memory leaks. Has HttpListener improved in more recent builds?

My goal is to implement REST based web services on Gadgeteer, potentially something that could be used by the community. I like the request routing setup in MicroWebServer because it can clearly handle “starts with” url matching, allowing the handler to pick parameter data out of the remainder of the URL. I’m not sure Gadgeteer.WebServer supports that (see other post).