“Pieter Levels has made an angel investment in the developer tool company Cursor.”