public marks

PUBLIC MARKS from tadeufilippini with tags manuals & "debian manuais"