Final tweaks to documentation.
Improve deprecation message for 'implements'.