Is this file still auto-generated, or did this comment get into it by hand? What process is it that auto-generates it?