[Gretl-devel] the "redhat" dir in the source tree

Hi, a totally non-urgent question: Is the "redhat" directory in the source still needed? It only seems to contain the gretl.spec.in -- that alone of course doesn't say that it's unnecessary, but the latest change there seems to be from 2015. And looking into that short file, the duplication "comprising comprises" immediately jumps at the reader, so that makes me wonder whether this is really used. thanks sven