mention Boolector in change notes