Pulse Player Properties - Playlist properties

Default playlist format - Choose default playlist format while saving your song lists (PLS, PPP, MOL, M3U).
Saving - Configure playlist saving settings (nothing unclear here).
Known playlist formats - List of supported playlist formats :-)