Lua editing utilities for AUCTeX