Updated doc release: 0.7.2
Updated doc release: dev