Here is the patch which adds levenshtein_less_equal function. I'm going to add it to current commitfest.
Cool. Please submit some performance results comparing levenshtein in HEAD vs. levenshtein with this patch vs. levenshtein_less_equal. Perhaps the test cases we used previously would be a good place to start.