1. Strokes are all vectors, so scaleable/zoomable, and remain so in PDF output.
2. Eraser can erase conventionally, or entire strokes at once (so handy).
4. Highlighter can be set to auto-straightening mode, for neatness.
5. Eraser can be set to erase highlighter only. Ultra useful!