Man pages matching name openstv in section 1:

openstv.1.en

debian 10 / openstv