Follow-up from "Rewrite `bin/check` in Go"

The following discussion from !341 (merged) should be addressed: