added: management of local aliases via .bash_aliases_local