VERSION 0.7.0: another documentation update (no version change or code changes)