The docstring of defprotocol has an out-of-date description as follows:
{quote}
defprotocol is dynamic, has no special compile-time effect, and defines no new types or classes.
{quote}
Indeed, it used to have no compile-time effect. Today, however, it does generate a corresponding interface via gen-interface at compile time.
The patch just removes this description.
