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