Pretty sure I answered that.
It was asynchronous long before they let GC take over. What happens after the customer delete request is handled doesn’t impact the customer anymore. Whether satellites send that signal on to nodes or not. I also wouldn’t mine them logging deletions and sending less frequent delete logs to nodes like once an hour or even once a day. GC is just a really slow way to do it for nodes.