Interesting. Historically, lots of codenames have been “leaked” through contributions to the Linux kernel and other OSS projects. Pretty interesting approach to hide something in this way and as long as they clean up like they did now it’s probably fine.