Prepare discussion for meeting 2023/06/27
The idea of this issue is to gather here things to discuss at the next meeting, in order to keep record of them and use them to plan the agenda. Please, add them in comments with short description.
Summary from 2023/06/27: We discussed the following points in a very technical and in-depth way:
Edited by Tobias Meisel