Hey, BTW, for the “Related Work” section: ‘gnulib-tool’ implements a simplistic ‘license calculus’: http://git.sv.gnu.org/gitweb/?p=gnulib.git;a=blob;f=gnulib-tool;h=ba41b6180b5b9742ec9c6b402f91b1a6fe02eaf4;hb=HEAD#l3393 Fun! Thanks, Ludo’.