... to be able to limit the number of mails to be retrieved. local refers to the "store" configuration, remote to the "channel".
This reworks the way program specific email account options are specified. In particular, we no longer use the deprecated `options` field of `mkOption`. Instead submodules are used.