> should broken local links in html files in /usr/sharedoc be considered as > bugs in packages that provide such files, Yes.