Hi, thanks everyone for providing suggestions and feedback.
It seems we reached a consensus to implement option (a): > (a) change *all* license headers to be wrapped in e.g. `/* .. */`, also > update the coding guidelines, or and to keep improving the documentation in the code to provide more, helpful content. We got 2 binding votes (+1 for (a)) from BenM and Joris, as well as 3 non-binding votes from James, Marco, and myself, with no -1 for (a). I will now propose a RR implementing the agreed solution. Thanks again and cheers, Benjamin
