They say, via email: "The web interface you're using on Hover is mostly just a Javascript interface to a REST API that does all this."

This is where Dave Winer narrates his development work.