If I do, the file won't show up, because doxygen becomes confused because two files with the same name exist. At least, that was the case when I introduced this change.