Add f-traverse-upwards documentation.