Merge pull request #1030 from jlowin/banner 26eef11 unverified Jeremiah Lowin commited on Jul 3, 2025