tidy the license file

LICENSE

@@ -175,19 +175,36 @@
 
    END OF TERMS AND CONDITIONS
 
-   This software is developed by:
+   This software has been developed by the following core contributors:
 
      * Igor Konnov:
-        - TU Wien (Austria) 2016-2018,
-        - INRIA Nancy (France) 2018-2019,
+        - Informal Systems (Austria) 2020-2023,
         - Interchain Foundation (Switzerland) 2019,
-        - Informal Systems (Austria) 2020-2021.
-     * Jure Kukovec: TU Wien (Austria), 2016-2021.
-     * Shon Feder: Informal Systems (Canada), 2020-2021.
+        - INRIA Nancy (France) 2018-2019,
+        - TU Wien (Austria) 2016-2018.
+     * Jure Kukovec:
+        - Informal Systems (Austria) 2021-2023,
+        - TU Wien (Austria), 2016-2021.
+     * Shon Feder: Informal Systems (Canada), 2020-2023.
+     * Gabriela Moreira: Informal Systems (Brazil), 2021-2023.
+     * Thomas Pani: Informal Systems (Austria), 2022-2023.
+     * Rodrigo Otoni:
+       USI Università della Svizzera italiana (Switzerland), 2021-2022.
+     * Philip Offtermatt: Informal Systems, 2022.
      * Andrey Kuprianov: Informal Systems (Austria) 2020.
      * Thanh Hai Tran: TU Wien (Austria), 2016-2020.
      * Viktor Sergeev: Univ. of Lorraine (France), 2019.
 
+   Further, we appreciate code and documentation contributions by:
+
+     * @BGR360 Ben Reeves, 2022-2023.
+     * @Alexander-N Alexander Niederbühl, 2021.
+     * @rnbguy Rano, 2021-2022.
+     * @klinvill Kirby Linvill, 2021.
+     * @JonathanLorimer Jonathan Lorimer, 2021.
+     * @danwt Daniel T, 2021.
+     * @jlu015 Jørgen Lund, 2019.
+
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
    You may obtain a copy of the License at