for_developers

I see you like to hit random toggles..

You have enabled "developer mode" on this site, which basically means that you have access to more content than is shown by default. You can turn this off by hitting that toggle button again. Additional content will be in the vivid purple you can see here.

I added this feature because I wanted the site to be trimmed down for a general audience by default, but also be technically comprehensive for those who can appreciate it.