Comment by let_rec

HN is likely a better source than GH status...