ifenabled binder
fix marks after merging solvers

Crucial bug fix. Better logging too.
btb: better publishing

Only publish an edit if the text changed.