Comment by briansmith

Are they the authors of the “informal note” or not?

I’ve never seen a math paper of any formality written without the authors’ names on it before.