https://www.rosslynredux.com/why-reboot-rosslyn-redux/