The reference likely hints at GitHub's transformation under Microsoft - the dolphins (Thomas and team) foresaw changes coming (AI integration and corporate direction) and are gracefully departing before the "demolition" of what GitHub originally stood for.