>>>>> David Kastrup <[log in to unmask]> (DK) wrote:

DK> That is a nobrainer.  The .dtx file.  Of course, you probably hoped
DK> for the former, so no harm in asking...