The MSI forum thread MSI Interceptor DS B1 - How to configure side buttons?' does helpfully mention 'generic software' but it also erroneously has a link to anotherr mouse's driver (that I could not get to work ). Thanks to anyone else for correction or alternatives to this.
