Post #2461177

@corbet@social.kernel.org I always wonder about the amount of history that would be lost if the old mailing lists from Google Groups were to vanish from one day to another