Logs
→ Sadly, most of the hyperlinks on older posts are broken, or may point to a different page. That's today's web for you.
-
I got bitten into debugging my network setup, because of a proxy setting I had forgotten to disable.
Search
June 2026 : I've demoted a bit my search engine until I find time to optimise it.