Consider explaining the difference between path concatenation operators @@ and </>

[teo-tsirpanis]

This source file provides two operators for combining file paths: @@, and </>. Both have the same documentation, yet a slightly different implementation. My codebase uses both of them without a problem, and even by looking at their source code, I cannot understand what the difference between them is.

I think that documenting what makes them different would have been very helpful. Another idea is to deprecate one of them.

[matthid]

Thanks for reporting, hope 9789bb0 helps :)