history-tools migrated docs for dev portal consumption - View it on GitHub