Module not linkified and Dead links

[Drup]

I have spotted (in functoria) two bugs probably related:

module Dsl : Functoria_sigs.CORE with module Key = Functoria_key

Key is a dead link and Dsl is not linkified. All the following references to Dsl are linkified but are dead.

module type S = Functoria_sigs.S with ...

S is not linkified and all the following references to S are linkified but are dead.