WIP: Use React editor for mini-editors

This is basically working, but the biggest remaining obstacle is determining when React-mini-editors are hidden in a comprehensive way.