6 ms·
Sorry about that. Now it is fixed (at least most of them). I had to do some automatic updates of the underlying wordpress database and I guess that one of them
by softmodeling 15y ago
Sorry about that. Now it is fixed (at least most of them). I had to do some automatic updates of the underlying wordpress database and I guess that one of them messed the capitalization. I'll need to explore what happened in more detail.