On another thread, someone had asked how I managed to grab version 13 - which had just appeared in Package Manager as an update last Monday (8/12). This is what it looks like now. I can't update or delete it though, and am having trouble trying to do a USBrecovery reformat.