This is admittedly a little early to post as Disney says vaguely "mid to late September" but there have been some anecdotal reports of refunds being issued. Based on other processes related to extensions, pauses, etc this is unlikely to be a totally smooth process or one that happens for all...