I wondered the same thing. After searching a little, I found these two articles (multiple since I’m unsure and so wanted to cite my sources):
https://www.fluentu.com/blog/japanese/japanese-punctuation/#toc_3
Both of which state that 『』are called 二重鉤括弧(にじゅうかぎかっこ) literally double hook brackets. And the normal ones 「」are called 鉤括弧(かぎかっこ) literally hook brackets.
They also state that 『』are typically used for quotes inside of other quotes.
Additionally, the Wikipedia article on Japanese typographical symbols says that they’re used for titles. (Under brackets and quotation marks, second item)
https://en.wikipedia.org/wiki/List_of_Japanese_typographic_symbols
Hope this helps! I learned a lot doing the research for it. The rest of the first two articles is really interesting to read too.
You can theoretically run the other program with Proton as well. Just if that helps get your other software up and running. =)