other-tools updated: