Moved to doc/extension.rdoc