Hey everyone! I’m happy to share that our favorite bot is back online - we are now using the original bot handle

@marvin

instead of

@ask-marvin

— the new bot now has memory of your thread and also provides links to documentation as well!!