LGRU Porto feedback

Already one month has passed since the wonderful LGRU meeting in Porto. And summer arrived, finally, sort of. I was planning a proper writeup, but of course this didn’t materialize – so instead of a long report, here is a raw list of things / links / topics / ideas / action items that may