worthwhile putting a github issue link for compile-testing in the TODO?