Update documentation for 0.4.7.