If your name comes from eta reduction, shouldn't it be "H Reduce", not "N Reduce"?
η-reduce is the correct name. Ah well, N Reduce looks a bit nicer so we went with it :)
Edit: I just noticed Chrome doesn't have googol in it's spell checker dictionary. I wonder if that is intentional.