I see instances of the aux library and standard libraries using lua_pushliteral to push strings onto a LUA stack, but cannot find any mention of the function in the manual. When & why should this be used instead of the normal lua_pushstring?