vload_half(3clc) on Linux

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

Read a half float from a pointer to memory.

vload_half(3clc) on Linux now