Deploying to gh-pages from @ e979188 🚀

Author: lucascolley

contributors.html

@@ -292,6 +292,7 @@ <h1>Contributors<a class="headerlink" href="#contributors" title="Link to this h
       <td align="center" valign="top" width="14.28%"><a href="https://github.com/crusaderky"><img src="https://avatars.githubusercontent.com/u/6213168?v=4?s=100" width="100px;" alt="Guido Imperiale"/><br /><sub><b>Guido Imperiale</b></sub></a><br /><a href="https://github.com/data-apis/array-api-extra/commits?author=crusaderky" title="Code">💻</a> <a href="https://github.com/data-apis/array-api-extra/commits?author=crusaderky" title="Documentation">📖</a> <a href="#tool-crusaderky" title="Tools">🔧</a> <a href="https://github.com/data-apis/array-api-extra/commits?author=crusaderky" title="Tests">⚠️</a> <a href="#example-crusaderky" title="Examples">💡</a> <a href="https://github.com/data-apis/array-api-extra/issues?q=author%3Acrusaderky" title="Bug reports">🐛</a></td>
       <td align="center" valign="top" width="14.28%"><a href="https://github.com/ev-br"><img src="https://avatars.githubusercontent.com/u/2133832?v=4?s=100" width="100px;" alt="Evgeni Burovski"/><br /><sub><b>Evgeni Burovski</b></sub></a><br /><a href="https://github.com/data-apis/array-api-extra/commits?author=ev-br" title="Code">💻</a> <a href="https://github.com/data-apis/array-api-extra/commits?author=ev-br" title="Documentation">📖</a></td>
       <td align="center" valign="top" width="14.28%"><a href="http://www.vanderplas.com/"><img src="https://avatars.githubusercontent.com/u/781659?v=4?s=100" width="100px;" alt="Jake Vanderplas"/><br /><sub><b>Jake Vanderplas</b></sub></a><br /><a href="https://github.com/data-apis/array-api-extra/pulls?q=is%3Apr+reviewed-by%3Ajakevdp" title="Reviewed Pull Requests">👀</a></td>
+      <td align="center" valign="top" width="14.28%"><a href="https://github.com/KotlinIsland"><img src="https://avatars.githubusercontent.com/u/65446343?v=4?s=100" width="100px;" alt="kotlinisland"/><br /><sub><b>kotlinisland</b></sub></a><br /><a href="https://github.com/data-apis/array-api-extra/pulls?q=is%3Apr+reviewed-by%3Akotlinisland" title="Reviewed Pull Requests">👀</a></td>
     </tr>
   </tbody>
 </table>