Dev. checkpoint: Most examples, touchups.