Deletion of Michael Hartl

Comment: Doesn't fit general notability or . Also seems like one of those people covered by passing news events that only gets coverage for a few days (), I don't see him becoming notable right now
Stance: delete
Cited policy: Wikipedia:Notability (WP:PROF||WP:EVENT)