Subtitle Edit version: 4.0.2

Release date: Nov. 19, 2023