Man pages matching name theft-server in section 1p:

theft-server.1p.en	debian 10 / clc-intercal
theft-server.1p.en	debian 11 / clc-intercal
theft-server.1p.en	debian 12 / clc-intercal