I didn't undelegate because I figured it would just be more trouble to undelegate and then re-delegate when the problems were fixed. Has booster started paying out again already? Because I have not seen a notice that this has happened even though I have 1000 steem delegated to @booster .