Ported ProxyController and specs; added documentation