topic_mask(1grass) on Linux

The text 14cf9f2d4200, as Debian 10 (Buster) shipped it.

topic_mask(1grass) on Linux now