EXTENSION(3clc) on Linux

The text 728a7949ce48, as Debian 13 (Trixie) shipped it. The page shows this text now.

A #pragma directive to set the behavior for OpenCL extensions.