Deletion of Leaky

Comment: I doubt that many readers are going to search for "Leakey" at "Leaky", and vice versa. If we keep, we should add Leaky bucket, which is a far better known algorithm. But we can't do that, because per  we don't dab partial matches. Hence, delete. –&nbsp
Stance: delete
Cited policy: Wikipedia:Disambiguation (WP:PTM)

Comment: per . Potentially , spelling error would be easy to make
Stance: merge
Cited policy: Wikipedia:Deletion policy (WP:ATD||WP:USEFUL)

Comment: OK, I can see a redirect to Leak or Leakey. Some people may misspell the surname "Leakey". But what are we going to merge? There is a link to Leaky abstraction and a "See also" for Leak. The destination article "Leakey" already has a "See also" for Leak (disambiguation). Are we going to add Leaky abstraction? That really does seem far-fetched, that a user who types "Leakey" would be looking for the theories of a programming guru. It also violates , according to which we don't dab partial matches. –&nbsp
Stance: comment
Cited policy: Wikipedia:Disambiguation (WP:PTM)