Add a few sentences about installing rave extensions.