User manual
Reference
For developers
This is needed to fix setups with an invalid registry entry (#1612 #1613).