" Place your local settings here, i.e, the ones which are not shared among all
" hosts and accounts.