ops.html: Header (consistency)