No support was added, and the closure event was mysteriously deleted [0]. Compare with others like [1] which do keep the "bcherny closed this as completed 1m ago"; for some reason it's missing here, even though Boris closed it as completed in the same manner as confirmed by GitHub notifications.