Removing Mjolnir docsets