DanielFilan comments on I don’t think MIRI “gave up”

[DanielFilan]

FWIW I don’t think it’s too late to introduce more handles.