Merge branch 'ralf/update' into 'master'

provide a lemma to update only the authoritative part, ignoring the fragments entirely

See merge request !284
6 jobs for master in 13 minutes and 52 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.dev #36107
fp

00:12:35

passed build-coq.8.7.2 #36111
fp

00:05:37

passed build-coq.8.8.2 #36110
fp

00:06:26

passed build-coq.8.9.0 #36109
fp-timing

00:05:45

passed build-coq.8.9.1 #36108
fp

00:07:02

passed build-coq.dev #36106
fp

00:13:52