First glimpse at the upgraded javascript code for playing bookmarked audio files: it now offers controls and a playlist plus a “targetting” symbol.