Hello there, great work! I have been following since a long time, back when you were on Freenode IRC. If you do bridge your Discord to IRC, please do announce i

Hello there, great work! I have been following since a long time, back when you were on Freenode IRC. If you do bridge your Discord to IRC, please do announce it somewhere. One suggestion: maintain your compatibility with Linux, as this would likely bring more people to your browser and lower the barrier to work on the browser.