rmodtool(8) on Linux

The text f885411d055d, as Debian 12 (Bookworm) shipped it.

manual page for rmodtool: utility for creating rmodules

rmodtool(8) on Linux now