Minor performance tweak maybe would be to consider allowing the fetching of multiple options inside a `bot.getOption` call.