Documentation for the Platypus Explorer autonomous watercraft.