Add proxy entry to a configuration file.
Refactor Aoj.hs.