[LinuxBIOS] #36: Make the mailing list archive searchable