I understand and agree that this isn't the time to undertake a major overhaul, but would it be possible to remove this paragraph? AmSTeX is the official typesetting system of the American ... Sure. Deleted. Thanks, k