@2360757:htmldoc-1.9.23-2.mga11.src.rpm: ok