Proper warnings are now emitted when documentation is missing, and fixed documentation generation for interface implementations.