I'm afraid I use doc/ice_bib.bib for more than just generating PISM docs as part of its release. And commits on ice_bib.bib are hardly interesting to the PISM project. Should we create repo https://github.com/pism/bib and have one file there, e.g. pism.bib?
The silence is deafening. Apparently it is acceptable to leave as is.