Per Jon Runyan's instagram:
That's Andrew David in the picture. David came in as a scholarship kicker but wasn't in the conversation last year despite the open job and was then recruited over when Michigan brought in Quinn Nordin, the #1 K in the country to three of the four services. He was used as a pooch punter this spring; apparently that didn't take.
With Kenny Allen likely to have both specialist jobs this year and Nordin set to take over at one or both in 2017, David's departure shouldn't impact Michigan much on the field. They might look for a scholarship punter now, but with so many high-end guys on the hook and no obvious candidates they could pass.
David's departure brings the 2017 class up to 22 scholarships right now, with 30 or so signees likely.