extension historyproxy removed and transferred into a separate repository