Add Compatibility section.
Rename devproxy.go to server.go.

Reduce overloading of the `devproxy` name.