Man pages matching name stap-server in section 8:

stap-server.8.en	debian 10 / systemtap-server
stap-server.8.cs	debian 11 / systemtap-doc
stap-server.8.en	debian 11 / systemtap-server
stap-server.8.cs	debian 12 / systemtap-doc
stap-server.8.en	debian 12 / systemtap-server