Full threaddannyphantom·In case anyone wants to check out their Wikipedia page: https://en.wikipedia.org/wiki/CoqView on HN