My manager is leaving very soon but recently I have found out he has been telling lies about my work performance and has been bullying me. Senior management are aware (I'm not the only one) but I have just seen more lies (on paper). Should I log all issues formally with HR so that the new manager doesn't get the wrong impression? Should I initiate a grievance? Doesn't seem much point as he will be gone very soon but I furious about the latest incident.