This explains the user what they need to run and where to go in case
they want to learn more about "CREATE EXTENSION".