[website-dev] Minor error in Wiki software

Not knowing whether this problem is already known upstream, let alone 
which version exactly of MediaWiki we are using, I take the liberty to 
post my findings here.  Whoever cares, feel free to relay to a better place:

On a page with two headings of the same name (e.g., 
<http://wiki.services.openoffice.org/wiki/Test_Cleanup&oldid=175134>, 
where both sections 1.1.5 and 1.2.6 are titled "unoapi Tests"), clicking 
"[edit]" next to the second same-named heading lets you correctly edit 
the content of just that second section, but then, after clicking "Save 
page" you are erroneously redirected to the anchor of the first heading 
(i.e., 
<http://wiki.services.openoffice.org/w/index.php?title=Test_Cleanup#unoapi_Tests> 
instead of 
<http://wiki.services.openoffice.org/w/index.php?title=Test_Cleanup#unoapi_Tests_2> 
in the above example).

-Stephan