[aur-requests] [PRQ#16160] Deletion Request for htmldoc