It looks like it treats anything that’s already capitalized and the beginning of a number as a new word and inserts a space before. So in practice it might not mess up the code too much, but I’m not sure why it doesn’t behave more similarly to the others.

Not included in their text, but it is in the screenshot. Probably helpful for you to point it out though, not everyone is going to read the code in the screenshot.

How cool! I had the manga when I was a kid and absolutely adored it. Totally forgot that it existed.

I think Mint is better out of the box than it used to be. I was on it maybe 5 or 6 years ago and had to troubleshoot a few issues, but I just came back to it a few months ago and everything worked flawlessly out of the box.

I’m relatively new to Mint, but I thought that sudo apt update just checked for updates and sudo apt upgrade -y was for actually installing the updates. I don’t see why that would break it though.

They were just the default settings when I setup Emudeck a week or two ago. I did setup RetroDeck too as I liked the more containerized nature of it, but it seems to run an older version of Yuzu (has a different, lower number in the window name) and even when I mirrored the settings of my Emudeck version it was pretty stuttery and crashed at least once.

But I can look at my settings and share later today.

Not sure what the FR is, but Tears of the Kingdom runs flawlessly for me on the OLED Deck.

In my experience Google is a bit better than DDG. I tried it out a few years ago and often found myself going back to Google for certain searches. Been using DDG again for a few weeks and having a somewhat similar experience.

I agree, but in my experience the focused communities that I liked to browse on Reddit were almost never toxic. The difference may be that I deliberately went to the specific communities that I was interested in; I generally never just browsed Popular, where I’m sure the bulk of the toxicity was.

Unfortunately the communities that I’m interested in have next to no activity here, so I would definitely like to see more users.

Pretty much none of the communities that I used to browse on Reddit are active here, so I wouldn’t mind more people here.