Lezer version: 1.5.1

Release date: Sept. 15, 2023