There are two manuals for your jacks,, I have the "Advanced" one (the service manual) which is where you see photos of the float and such I'm not sure it describes operation though.
That, I found out the hard way.
NOTE: in an emergency if you can identify the connector, and if it uses flat 2 connectors, You can unplug the thing and just plug one pin back in,, That will disable the sensor. NOTE: Keep exposed pin away from metal parts. Or make sure the exposed pin (The one where the metal is exposed) is the one that does NOT go to the tank. (That one is not hot).
Home is where I park it!