When Redpanda launched in 2019, company founder and CEO Alexander Gallego thought a startup devoted to modernizing streaming data should have an appropriately nerdy name.