Sourcegraph version: 5.2.3

Release date: Nov. 16, 2023