There have been some changes to this weblog since it was moved to another server a few days ago. The navigation links at the top of each page now work better, for one.

Another change is that I’ve started setting up some more documentation pages, and am integrating them into this website. Here’s what you get when you click on the “DOCS” link now:

I would have loved to get some really nifty sidebar navigation in there, but for now there are simply two mechanisms to help you out: first of all there are quite a few links between pages – this is automatic, and hence very convenient for me: wherever text appears which matches a page in the documentation, that text will be linked. The other navigation feature is the “page index” link at the bottom of each page. It’s not very sophisticated, but hopefully workable for now.

Keep in mind that searching in the weblog will not find anything in the documentation pages – these are internally two completely different systems.

Needless to say perhaps, but these documentation pages are still at an early stage. They will be filled-in, extended, and updated for some time to come.