Stefan Savage @docsavage.bsky.social · 06/09/2025I will point out that ACM Proceedings do have ISBN numbers and apparently ACM registered the copyrights. They look like class members to me... ditto IEEE. 200