jryans2021-9-10 15:16:58I submitted https://github.com/racket/racket/pull/3991 to add this info to the contribution docs. Since it’s my first Racket PR, it needs someone to approve CI workflows. samth2021-9-10 15:17:35Approved