@Oli I have taken the liberty of organizing miri labels a bit more like rustc. See https://github.com/solson/miri/labels. However, I am not sure what do do with the "interesting project" and "optimization" tags... I made them "Kinds" now but that's not really saying anything.^^ rustc does not seem to have anything like them. Proposals?
Ah, I think I will make the project thing an "E"
and remove "optimization"?