WebKDC::WebKDCException(3pm) on Linux

The text 9ee014ed1e72, as Debian 11 (Bullseye) shipped it. The page shows this text now.

Exceptions for WebKDC communications