No, I did agree to the download and it remained ticked but ignored on the launch.Bug, maybe, maybe not! If the tool is not downloaded from this prompt, edge item remains unticked. Then it's ok isn't it?
My discovered bug is minor (because it was unticked from a previous session which might be unusual). Your theoretical bug is kind of minor too so I wouldn't think you need to rush out a fix.