Merge branch 'devel' into patch-2

.all-contributorsrc

@@ -54,7 +54,8 @@
       "avatar_url": "https://avatars.githubusercontent.com/u/73123831?v=4",
       "profile": "https://github.com/sujit-jadhav",
       "contributions": [
-        "ideas"
+        "ideas",
+        "doc"
       ]
     },
     {
@@ -170,6 +171,15 @@
       "contributions": [
         "doc"
       ]
+    },
+    {
+      "login": "cgoveas",
+      "name": "Cassey Goveas",
+      "avatar_url": "https://avatars.githubusercontent.com/u/88071888?v=4",
+      "profile": "https://github.com/cgoveas",
+      "contributions": [
+        "doc"
+      ]
     }
   ],
   "contributorsPerLine": 7,