v2.0.0 stable release; run autoformatter and tag for v2.0.0