On 14/10/2026 13.28, Stefano Brivio wrote:
> It might be worth having them (with license, usage and all) under, say,
> doc/performance/ or something like that.

I declare them CC0 licensed (quasi public-domain), so feel free to add 
them with whatever license you like.

Ciao
Bernhard M.