edit supermemo.rb, add velenshtein to formula