[Npos_2018] Question about PR: Heineken co-withdraws patent?