As a progressive commisioner and a muti-league progressive owner, I have a couple comments on the above situation.
The "missed a keeper on the available list" has always been a problem in progressive leagues. I have made this error on several ocassions... and I always check for my keepers on the available list. Instead of playing "cutthroat" progressive rules, where you lose the player without recourse, I run my leagues with more of a gentleman's agreement. I try to work out the "mistake" where both the owner who missed the player and the owner that drafted the player agree on a resolution. It may just result in the owner drafting a new player... or the new owner may receive compensation (like a draft pick). I try to handle this issue quickly, before other owners get involved and make comments on the situation because that ALWAYS leads to hard feelings. We all know how hard it is to find committed progressive owners... why chase away the reliable ones?
Bottom line, we need WIS to step up with a process to eliminate this problem. But, like the long promised update... who knows if that will ever happen.