Hey all,

I've just published a blog post describing an (almost total) rewrite of the `yesod devel` server:

http://www.yesodweb.com/blog/2016/11/new-yesod-devel-server

This new version is not yet released, I'm requesting feedback before doing so. If people can have a look, I'd appreciate it.

I'm including the web-devel list, since this new version has very explicit documentation on how to use `yesod devel` with non-Yesod application.

Michael