Report on the 10th anniversary workshop on bibliometric-enhanced information retrieval (BIR 2020)