Package wrapped up in a .dtx file, new options