Hi! Hope everyone's doing alright during these times. We were wondering if there were any updates about Robosub 2021. A couple questions:

...