Good point. My first reaction was to look for where the plugin `*.ini` files were added, but I don't see those in `bento.info`. Am I missing something?