Moving the documentation for the overloadable attribute into AttrDocs.