rm obsolete documentation on `for`