Minor changes proposed by Mirco
Merge branch '1001759-type-hierarchy-view-supertypes' of https://github.com/mads379/scala-search into 1001759-type-hierarchy-view-supertypes