[JoBrad]

Unless they made the edit very recently, he is credited on the credits page.

[lbebber]

I am credited for the "menu code" and "inspiration", though, hahah

But it doesn't matter, I posted the code for it to be used, I'm glad to see it in the wild.