No matches were found for subject:"Bug#201731\: latex2html\: Wrongly treats some figures as duplicate \(workaround\)"