I hear ya. I really don't think this is that big a deal. That said, just to clarify, in my mind:
If dasein says he didn't re-add that yesterday, than I am wrong, it was always there, and I totally apologize to all.
If dasein says he did re-add that yesterday, then the written rules were changed. I totally agree they were changed to re-add something that was there a while back (frankly I remember 0.25 being in the written rules, which is why I tried to check them very, very carefully yesterday before bidding 0.1), that was accidentally eliminated, and that was the league understanding prior.
(relatively unimportant) point is, if dasein re-added that to the written
rules yesterday, I think it is a change to the written