The text 803fe323367d, as Debian 8 (Jessie) shipped it. The page shows this text now.
initialize a timer
init_timer_key(9) on Linux now
