Glitch in manual: unexpected extra method for base_ring appears

[fingolfin]

Reported by @wdecker : in the section Data Associated to Ideals of the manual, the documentation for base_ring(I::MPolyIdeal) unexpected also shows the docstring for base_ring(M::PMat) from Hecke.jl:

The corresponding section in ideals.md looks like this:

## Data Associated to Ideals

```@docs
base_ring(I::MPolyIdeal)
```

[thofma]

Same as #548?

[fingolfin]

Oh, quite possibly. But this one here is concrete, and an issue, while that one introduces the issue as a PR, which is ... odd...

So, I'd rather close that PR, and leave this issue open. As @thofma pointed out there, this is likely JuliaDocs/Documenter.jl#839 and/or JuliaDocs/Documenter.jl#1523

[thofma]

I think the underlying issue is JuliaLang/julia#29437. In the past I had (someimes) success with moving the where around.

[ThomasBreuer]

@fingolfin just for curiosity:
I had thought that reporting a problem via a pull request, as in #548, has the advantage that one can reproduce the situation.
When I open an issue, the problematic phenomenon may disappear because of (a side-effect of) some commit, perhaps without actually solving the problem.
So what is the recommended way to proceed, perhaps open both an issue and a pull request?

[fingolfin]

We don't show base_ring anymore in the relevant section, so this is resolved in that sense at least