update ava und co

Hong-Phuc Bui

2023-05-19 ca3a0e0b81001f03a2988663fc194673099b9424

1
TypeDoc added this file to prevent GitHub Pages from using Jekyll. You can turn off this behavior by setting the `githubPages` option to false.