Release 1.15.1 Maintenance release with bug fixes. Maintenance release with bug fixes. Other changes in this edition include: - Comment type header cards where not protected against to long comments, that can result in corrupted headers. - Introduction document verified and corrected kind thanks to Maximilian Nöthe.