android: hours on the library's count line, By format, Jump back in on the empty search

The desktop Library summary's hours on the phone's count line; a By format
order from the file stats (lossless by depth and rate first, then by
bitrate, the badge as the card's line); the empty Search page's Jump back
in — the last records played — as the desktop's empty search shows them.

ANDROID.md

@@ -213,7 +213,9 @@ Save menu: Save to library (at once when the cache is byte-complete, else
 through the download pipeline) and Save this record for the streamed
 record the queue holds. A moment after boot the phone warms the library's thumbnails the
 desktop's way (`library_art_prewarm` at the cards' edge, one decode at a
-time behind the tiles' gate). The Library's cards wear the desktop's file stats (`library_album_stats`,
+time behind the tiles' gate). The Library's count line carries the collection's hours and the sort
+offers By format (lossless by depth and rate first, then by bitrate); the
+empty Search page shows Jump back in, the desktop's. The Library's cards wear the desktop's file stats (`library_album_stats`,
 one call for the whole library: FLAC 24/96, MP3 320k, the size on the
 list rows and the record page), and the artist page shows this phone's
 own listening (`artist_play_stats`: time played as a chip, the most