The manual is now up-to-date.