Revert "Minor gitignore update"

This reverts commit 08bf09590487c7023395b3efded1edbf68fe9c4e.