Beim BOSS kann man doch die Doku ausdrucken. Einfach einen pdf-Drucker anlegen und dort abspeichern (wenn man es nicht in Papierform abheften will)