diff --git a/README.md b/README.md
index d02bd3171..8fc9accbc 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,7 @@
[![Build status](https://github.com/MetaCoq/metacoq/actions/workflows/build.yml/badge.svg?branch=coq-8.15)](https://github.com/MetaCoq/metacoq/actions) [![MetaCoq Chat](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://coq.zulipchat.com)
-[![Open in Visual Studio Code](https://open.vscode.dev/badges/open-in-vscode.svg)](https://open.vscode.dev/metacoq/metacoq)
+[![Open in Visual Studio Code](https://img.shields.io/static/v1?logo=visualstudiocode&label=&message=Open%20in%20Visual%20Studio%20Code&labelColor=2c2c32&color=007acc&logoColor=007acc)](https://open.vscode.dev/metacoq/metacoq)
MetaCoq is a project formalizing Coq in Coq and providing tools for
manipulating Coq terms and developing certified plugins
@@ -250,14 +250,17 @@ alt="Yannick Forster" width="150px"/>
src="https://github.com/MetaCoq/metacoq.github.io/raw/master/assets/meven-lennon-bertrand.jpeg"
alt="Meven Lennon-Bertrand" width="150px"/>
+
+alt="Jakob Botsch Nielsen" width="150px"/>
+alt="Matthieu Sozeau" width="150px"/>
@@ -274,6 +277,7 @@ MetaCoq is developed by (left to right)
Cyril Cohen,
Yannick Forster,
Meven Lennon-Bertrand,
+Kenji Maillard,
Gregory Malecha,
Jakob Botsch Nielsen,
Matthieu Sozeau,
@@ -288,6 +292,7 @@ Copyright (c) 2015-2022 Abhishek Anand, Matthieu Sozeau
Copyright (c) 2017-2022 Simon Boulier, Nicolas Tabareau, Cyril Cohen
Copyright (c) 2018-2022 Danil Annenkov, Yannick Forster, Théo Winterhalter
Copyright (c) 2020-2022 Jakob Botsch Nielsen, Meven Lennon-Bertrand
+Copyright (c) 2022 Kenji Maillard
```
This software is distributed under the terms of the MIT license.
diff --git a/coq-metacoq-erasure.opam b/coq-metacoq-erasure.opam
index 3fb223b81..f7899070a 100644
--- a/coq-metacoq-erasure.opam
+++ b/coq-metacoq-erasure.opam
@@ -11,6 +11,7 @@ authors: ["Abhishek Anand "
"Yannick Forster "
"Fabian Kunze "
"Meven Lennon-Bertrand "
+ "Kenji Maillard "
"Gregory Malecha "
"Jakob Botsch Nielsen "
"Matthieu Sozeau "
diff --git a/coq-metacoq-pcuic.opam b/coq-metacoq-pcuic.opam
index bf4686c00..d7f43cb16 100644
--- a/coq-metacoq-pcuic.opam
+++ b/coq-metacoq-pcuic.opam
@@ -11,6 +11,7 @@ authors: ["Abhishek Anand "
"Yannick Forster "
"Fabian Kunze "
"Meven Lennon-Bertrand "
+ "Kenji Maillard "
"Gregory Malecha "
"Jakob Botsch Nielsen "
"Matthieu Sozeau "
diff --git a/coq-metacoq-safechecker.opam b/coq-metacoq-safechecker.opam
index 0e150af35..3c640db77 100644
--- a/coq-metacoq-safechecker.opam
+++ b/coq-metacoq-safechecker.opam
@@ -11,6 +11,7 @@ authors: ["Abhishek Anand "
"Yannick Forster "
"Fabian Kunze "
"Meven Lennon-Bertrand "
+ "Kenji Maillard "
"Gregory Malecha "
"Jakob Botsch Nielsen "
"Matthieu Sozeau "
diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam
index cfd1f8de2..77604fdab 100644
--- a/coq-metacoq-template.opam
+++ b/coq-metacoq-template.opam
@@ -11,6 +11,7 @@ authors: ["Abhishek Anand "
"Yannick Forster "
"Fabian Kunze "
"Meven Lennon-Bertrand "
+ "Kenji Maillard "
"Gregory Malecha "
"Jakob Botsch Nielsen "
"Matthieu Sozeau "
diff --git a/coq-metacoq-translations.opam b/coq-metacoq-translations.opam
index 8db4acbe5..174777aea 100644
--- a/coq-metacoq-translations.opam
+++ b/coq-metacoq-translations.opam
@@ -11,6 +11,7 @@ authors: ["Abhishek Anand "
"Yannick Forster "
"Fabian Kunze "
"Meven Lennon-Bertrand "
+ "Kenji Maillard "
"Gregory Malecha "
"Jakob Botsch Nielsen "
"Matthieu Sozeau "
diff --git a/coq-metacoq.opam b/coq-metacoq.opam
index 6f5ead472..0bf14e598 100644
--- a/coq-metacoq.opam
+++ b/coq-metacoq.opam
@@ -11,6 +11,7 @@ authors: ["Abhishek Anand "
"Yannick Forster "
"Fabian Kunze "
"Meven Lennon-Bertrand "
+ "Kenji Maillard "
"Gregory Malecha "
"Jakob Botsch Nielsen "
"Matthieu Sozeau "