Hi! I’ve stuck on this for a while now but I could not figure out how to update a specific extension after an EditorView has been created. What I have right is to recreate an entirely same array of extension with the desired extension updated and then dispatch this change with reconfigure full. It works, but it’s not robust. Does anybody know how do I just update that single desired extension in the state and dispatch that change?