Johannes Altmanninger be451091d4 docs synopses: use ellipsis with singular words
We use plural "*OPTIONS*" more often than "*OPTION*...", so let's do
that everywhere.

In some other places where we do have an ellipsis, make sure to use
singular, since the ellipsis already means repetition.  This change
is incomplete, and I'm not sure if this is worth it, since it's
subjective, so I might drop it.
2022-01-16 14:05:47 +01:00
..
2022-01-14 18:54:01 +01:00
2020-10-12 20:25:35 +02:00
2021-10-29 17:14:53 +02:00
2022-01-09 23:47:58 +08:00