remove big_opL from prettification list

List literals reduce with a spurious `emp` at the end, which is not pretty.
5 jobs for gen_proofmode in 30 minutes and 36 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #15781
fp
build-coq.8.7.1

00:05:54

passed #15780
fp
build-coq.8.7.2

00:06:05

passed #15779
fp-timing
build-coq.8.8.0

00:05:29

passed #15778
fp
build-coq.8.8.dev

00:06:32

passed #15777
fp
build-coq.dev

00:30:36