Ambrevar  filed a deletion request for lua51-luapenlight :
I created this package during the AUR3 transition. I prefixed the name
with "lua" to prevent a clash that was happening by then. This clash
is no more since AUR3 is gone. I've fixed this and re-uploaded it
under its proper name, "lua51-luapenlight". This old package is
obsolete, you can remove it. Thanks!