Rename getdoc to luagetdoc