I think all of the confusion has been cleared up with that PR. No need for any more speculation about being in default.