overridden values of modules included in another module still get rendered

[lubegasimon]

Overridden values of modules included in another module get rendered, thus causing duplicates.
For instance, considering Module Odoc_compat.Char, lowercase_ascii is duplicated.