Pen strokes have several options to customize their appearance/style. But changing existing strokes is unnecessary complex (all settings should be reachable from selection pop up) and limiting. E.g. not being able to change stroke width is very annoying and results in user having to erase and rewrite hole passages to only highlight a specific part by stroke width. All style aspects should be edible.

Missing
* stroke width