I'd still prefer if you reported it to them. They might not know that that section isn't usable in OS X and consider a solution.

By the way, the patch you submitted still doesn't work because the file is still named `.1l`, and hence `man detex` doesn't work. ;)