\" 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.