Add user recipe for ido-better-flex, which I might want to use