Update documentation according to recent changes