.\" This file is no longer needed; it has been replaced with a built-in
.\" solution.
.\"
.\" It just exists for compatibility reasons with older man programs
.\" which explicitly load this file.