WebKDC::Token(3pm) on Linux

The text 399835fb7d4f, as Debian 7 (Wheezy) shipped it. The page shows this text now.

token objects for use with WebAuth

WebKDC::Token(3pm) on Linux now