* first (very incomplete) version of an offline manual, will update it using the draft in our github wiki once that one's more complete