Developer burnout: An industry disease?