Dev Home is a new control center for Windows providing the ability to monitor projects in your dashboard using customizable widgets, set up your dev environment by downloading apps, packages, or repositories, connect to your developer accounts and tools (such as GitHub), and create a Dev Drive for storage all in one place.

• Use the centralized dashboard with customizable widgets to monitor workflows, track your dev projects, coding tasks, GitHub issues, pull requests, available SSH connections, and system CPU, GPU, Memory, and Network performance.
• Use the Machine configuration tool to set up your development environment on a new device or onboard a new dev project.
• Use Dev Home extensions to set up widgets that display developer-specific information. Create and share your own custom-built extensions.
• Create a Dev Drive to store your project files and Git repositories.

https://learn.microsoft.com/en-gb/windows/dev-home/

It’s standard markdown afaik. Two new lines creates a new paragraphs, two spaces and one new line creates just a new line.

I’m curious, is there an advantage of running a script over an add-on? Like is it faster or takes less resources? Or did you just happen to code it like that? Not complaining though, it’s been working great for me so far.

Shit, I like HEVC in theory for the compression especially but it’s copyrighted bullshit or whatever.

Isn’t the same true for AVC/h264, at least in principle? https://en.wikipedia.org/wiki/Advanced_Video_Coding#Licensing Might be less of an issue in practice though, idk.

sidebery (best tree tabs I can find)

I was looking for something like that, thanks! I also followed these instructions to hide the native tab bar.