Lua 5.1 manual languages

[Alexander Gladysh <agladysh@...>]

Hi, Lua team!

These three pages have different lists of languages in which the
manual is available:

http://www.lua.org/manual/
http://www.lua.org/manual/5.1/
http://www.lua.org/manual/5.1/manual.html

Probably worth synchronizing.

HTH,
Alexander.