Use these bookmarklets to play web pages of mp3’s in your browser or preferred media player. Generated playlists are added to the database, which now contains hundreds of links to pages with music files.[‘Update’: actually this is way cool, check it out! Red]