Follow oF gitignore update

See #2523