> I am a bit lost of the self-type business. Self-types are not supertypes, so it might be confusing to show them as such (I didn't try the UI, so maybe they are marked differently, then ignore me).

This is me to blame, not Mads. I confused him (because I was confused myself). Iulian is of course right, self-types should not be reported.