observer.texi   [plain text]