Oh dear, stupid me…

Still I have two things:

- It appears that the intent option is not honored and the numbers appear always in the margin.
- The numbers are flush right in the margin, but after line >99 the third number is placed outside the margin towards the text.

Willi