Railroad diagram generator generates diagrams with boxes with text too close to right edge of box
From https://gitlab.eclipse.org/eclipse/escet/escet/-/issues/63#note_9797
>* I noticed sometimes text in boxes is very close to the right side of the box (e.g. `DoubleQuotedString`, see below)
>
>
From https://gitlab.eclipse.org/eclipse/escet/escet/-/issues/63#note_9819
> The spacing around the text looks weird indeed, will have a look. Probably the reported text-size doesn't match the real text-size.
issue