+1. This is really common. Flip through any of the Sher “New Real Books” for example and probably a third of the tunes have optional alterations or implied chords like this:
Because this is so common, Dorico really should support this type of notation without involving complicated work-arounds.