Documented how to create DB extension by hand in case of permission error during migrations (#934)