Removed: obsolete doc.