Would still be nice if this updated automatically, see #220. And restore codefactor badge now that we have an A- again...