As someone who relies on color coding for studying and uses GoodNotes on multiple devices, it‘s incredibly annoying to manage the colors for the pencil and highlighters on each and every device, as these things aren‘t synched with the cloud.

A solution would be synching the tools or maybe accounts where you can create a custom set ups of tools and colors to use