diff --git a/docs/remote.html.in b/docs/remote.html.in index 33dbba2847..f6a0683135 100644 --- a/docs/remote.html.in +++ b/docs/remote.html.in @@ -395,10 +395,13 @@ next section.