historyproxy submodule added