public marks

PUBLIC MARKS from tadeufilippini with tags installer & "gnu linux"