Missing prior in idealpoint.stan?

Thank you for these very helpful case studies! I had a look at the `idealpoint.stan` model. I was surprised that the model did not seem to assign a prior distribution to `sigma_alpha`. Was this an intentional choice or an accidental omission?