Suppose that someone submitted a pull request that remedied a problem in the Coq proof assistant in a somewhat-too-clever way, but it was nonetheless approved b

Suppose that someone submitted a pull request that remedied a problem in the Coq proof assistant in a somewhat-too-clever way, but it was nonetheless approved by Coq developer Jim Fehrle. In that case, we might say Zany Coq bugfix reviewed (thank Jim, please!)