That comment actually makes it look more to me like nothing needs to be done. If it’s just a redirect there shouldn’t be anything on activitypub for lemmygrad.com, and the Nazi instance was the first one I defederated. At least, that’s how I understand it I could be wrong.