Fix links on Documentation Format page

Also update the included contents of the `Maybe` library.