tk_setPalette(3tk) on Linux

The text af31683f530c, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it. The page shows this text now.

Modify the Tk color palette

tk_setPalette(3tk) on Linux now