Comment by ta12121

It might be useful, but it's trivially obtainable by anyone who needs it by googling, and irrelevant to anyone who isn't looking for it at the time.