coq: fix backslash escaping in documentation.

We want to output "\\.v$" so we need to write "\\\\.v$".

Closes #28693.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
geany 1.24.1

Closes #28709.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
Fix #28703: use alternative url for siege
siege: add 3.0.5 bottle.