I'm also not keen on making it sound like these are the only savers possibly implemented - as a user it is possible to create your own saver, so I'm inclined to be less specific, and just enumerate the 3 that we know about.