Add lost documentation: permission config file name

The information was accidentally deleted in 06679e.