diff --git a/docs/opening_remarks.html b/docs/opening_remarks.html index 2dfdc67..a055505 100644 --- a/docs/opening_remarks.html +++ b/docs/opening_remarks.html @@ -412,13 +412,13 @@