Ludo', Marius,

Thanks to both of you for the review.

Pushed as cc3ac162c558a51c90b76b84b081a15e28d0baad. I've removed the
explicit LICENSE file installation, which indeed belongs elsewhere.

Kind regards,

T G-R