get rid of the remaining empty-unicode-space hacks

1 job for ci/ralf/no-unicode-hacks in 2 minutes and 32 seconds (queued for 7 minutes and 24 seconds)
Status Job ID Name Coverage
  Test
passed #3120
fp-timing
iris-coq8.6.1

00:02:32