rdoc.info doesn't use RDoc.