AddModal: fix priorities.

6 jobs for master in 8 minutes and 57 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.6.1 #7311
fp-timing

00:03:03

passed build-coq.8.7.1 #7310
fp-timing

00:02:52

 
  Deploy
passed opam #7312

00:00:14

passed reverse-deps #7313

00:00:14

 
  Build More
passed build-coq.8.7.0 #7315
fp-timing

00:02:54

passed build-coq.8.7.dev #7314
fp-timing

00:04:03