Looks like it was originally this https://en.wikipedia.org/wiki/Hong_Meng https://en.wikipedia.org/wiki/Hong_Meng but it could easily be punned as https://en.wi

Looks like it was originally this https://en.wikipedia.org/wiki/Hong_Meng https://en.wikipedia.org/wiki/Hong_Meng but it could easily be punned as https://en.wikipedia.org/wiki/Hongmen https://en.wikipedia.org/wiki/Hongmen Neither are especially auspicious, it seems! But perhaps the first one was intended as "oh hai plz do not use unfinished OS".