OFF: [ADoP] Employee of the Year 2023 awards

[Edward Murphy via agora-official]

With support from Janet, ais523, and wunst, and no objections, I award
Employee of the Year 2023 to snail.

With support from ais523 and wunst, and no objections, I award Employee
of the Year 2023 to Janet.