User:User000name

GIF ---> PNGs: find. -name '*'.GIF -exec bash -c "mogrify -format png {}" \;

VLC video bookmark: Playback > Custom Bookmarks > Manage > Create Ctrl + B opens the dialog box; click Create and then click Close. Save the bookmark as a playlist by pressing Ctrl + Y; choose a file name and location.