Fixed bug #14288: opendocs can cause duplicate id html errors (thanks to Stefan Galinski)