remove obsolete doc that got re-added

Nathan guessed that this was due to a merge conflict that got corrected
incorrectly.