GitHub sure doesn’t make it obvious, but you can filter issues in the the new Projects with an “or” operator in between conditions by joining terms with a comma: In this screen shot I’m specifying that issues with the milestone “2023.23” OR “2023.24” should be shown by joining the term with a comma, like this…

Turns out it’s pretty simple when you do it the right way: https://stackoverflow.com/a/66464892/1037043 SDK Man is the way to go: And SBT should run without much trouble after that.