[PRQ#53311] Deletion Request for lua51-doc

[notify]

mhdi [1] filed a deletion request for lua51-doc [2]:

Upstream URL and source no longer available.

[1] https://aur.archlinux.org/account/mhdi/
[2] https://aur.archlinux.org/pkgbase/lua51-doc/