Update doc/overview.edoc

This @docfile tag didn't point to an existing file and broke document generation.