andyburke

Now this is the dull content I am looking for.

Friend!

It’s been a long road, getting from there to here.

It’s glorious, isn’t it?

Exactly, and by design: each user is allowed to set their own tab width and not mess everyone else up.

Like 8 space tabs? Go for it.

Want only 2-space indents? Just update your settings.

The semantic mean of a tab is “indent” - it should be up to each user what their idea of an appropriate indent width is.

I use tabs. 👍

I do. I was there when we hosted everything internally and everyone moved to the cloud for “reliability”.

Oh how the turntables…

If anyone is interested in heading back toward hosting your own infra, lmk and I may come back to tech.