Remove documentation note obsoleted by previous commit