I think you&#x27;re reading too much into it (If you&#x27;re being serious).<p>Doubt it had any other meaning other than the team just having fun making a quip at the Boaty Mcboatface poll for a ship&#x27;s name.