lua manual version bump