Drop followAlias
Drop followAlias

It turns out we don't need it anymore. This is nice, since
`followAlias` did some fairly ad-hoc rewritings.

sjrd/dotty,som-snytt/dotty,som-snytt/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,som-snytt/dotty,sjrd/dotty,som-snytt/dotty,dotty-staging/dotty,dotty-staging/dotty,lampepfl/dotty,som-snytt/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,lampepfl/dotty