misc-tools A set of tools referred in the booleanworld.com blog articles, that help in easing installation procedures. License https://creativecommons.org/publicdomain/zero/1.0/legalcode