The milestone for reworking quick fixes, and giving back to the Coq community by reporting or fixing bugs in Coq.