ct_property_test(3erl) on Linux

The text 6f428dec7fd4, as Debian 12 (Bookworm) shipped it. The page shows this text now.

Support in Common Test for running property-based tests.