Anything to prevent them from changing the name of the filesystem?
Let history be. But rename the project to something like ChameleonFS. Hans Reiser's mentions will still be in the git history.
Not that I think that's good rebranding, but it did amuse us.
Then after some management changes, everything that made it great melted away and we were left with a job that underpays, has poor work-life balance, doesn't appreciate employee time/contributions, etc. It was still a pretty difficult decision to leave; management issues notwithstanding, the group of coworkers I actually worked with every day were - and still are - really great.