Change-Id: Ic1c795d9d961b309d269b1bc4bccb7522f288e9b Rationale: we haven't modified any gitignore file. lberki has a new proposal to steer this in a new direction, so let's reflect the comment to the current reality.