great Jobs from devs, this issue was handled as professionally as possible. also monero maybe made some friends in the process by playing fair.
Bravo for the well handled issue that would have been devastating to XMR altogether should such information got into the wrong hands at the wrong time.