Are the old github issues archived somewhere?

[Marc Vaillant]

Including closed issues?  E.g. I'm specifically looking for the
following issue, which is gone:

https://github.com/nathanmarz/storm/issues/31#issuecomment-17607249

Thanks,
Marc