QuickSpec has moved to https://github.com/nick8325/quickspec.git.