[Mono-docs-list] patch for monodocer to update paramref

Hi, I made a tiny monodocer patch that updates name attribute in paramref descendants in Docs element, in sync with the corresponding name attribute of the param element when it is being updated. I could not find where (well, whether) monodocer updates parameter names when there are two or more

Re: [Mono-docs-list] patch for monodocer to update paramref

Atsushi Eno wrote: I could not find where (well, whether) monodocer updates parameter names when there are two or more parameters. Does the updating happen in such cases? No. If parameters were added or removed and if there are also name changes, it starts to get difficult matching up old