Coverage is running again. make-real handles positions.
More documentation updates.