Found

The document has moved here https://manlogik.se