The discord server you mentioned around 5:29, is that the same Discord server as the one here: http://prntscr.com/j20gk9, I just joined this platform yesterday so I am not really sure. Thanks!