Fix #934: Documented how to create DB extension by hand in case of permission... See merge request !926