Rename to navel in docs