HTMLDocument.getTableHeader(3kaya) on Linux

The text 015e7d16208b, as Debian 8 (Jessie) shipped it. The page shows this text now.

Get the table header section