Delete a single element in the history. Related to #1297
Persistently delete query + Improve animation -- Related to #1297
Replace  with  -- Related to #129&
Merge branch 'michel_1297_delete_history' into next