Text this: Lotus HAL : User's manual