Further information regarding the production credits or the filmography of the performers involved can usually be found on the official websites of the production labels or through general entertainment databases.
Devin didn’t rewrite it. He reverse-engineered the business rule: ssis698 full