Quality check all header comments of application examples
Check:
- the model’s purpose and description are clearly described
- necessary references are included and well-formatted
- search terms have no obvious omissions
- Instructions are appropriate and non-repetitive
- Model run statistics are present (# traces in # seconds at scope X)