# This file is meant for local customizations of disable-passwdmgr.local