With the current checks, indexing `M.s` where `s` is in fact
`include`d in `M`'s signature can't be done with
`\scodeidx{M}{s}`: you can only refer to `\codeidx{M}` and
`\scodeidx{I}{s}` where `I` is the module where `s` actually appears.