Jacob B, thanks for posting that pithy summary against the day when the link might fail.The October 5 court date was for oral arguments. A decision might take weeks or months.
Here is a comment by Eric Eldred, one of the plaintiffs in the case. The "Judge Ginsburg" referred to is Douglas H. Ginsburg.
T.