doc updates, version 4.31-dev