Yup, pretty cool right? This article mentions the GSA and talks about some other cool things in the search industry that also went missing around the same time: https://archive.org/details/search-timeline