# Here come the local changes the user made, like configuration of 
# the several backends that exist.