System.FilePath.parent bug?

Stream: lean4

[James Sully]

Is this a bug?

#eval (FilePath.mk "/home").parent

some (FilePath.mk "")

#eval FilePath.readDir (FilePath.mk "")

no such file or directory (error code: 2)

I would expect the parent call to return FilePath.mk "/", which readDir can successfully read.

If it is a bug, which github repo do I raise an issue on? just leanprover/lean4?