Improve the salting of identifiers
Improve the display of the cursor and the source marks a lot
Add dereliction support