NOTICE: bugs are now reported in https://divi-supreme.userjot.com/