What shall I do with duplicate bug reports? Simply close the duplicate, referring to the original one?