# TODO: Define admin Home Manager settings.