documented source code, packaged in .dtx