Any thoughts about dropping mplayerthumbs from 16.08? It seems basically untouched for years, and I'm not sure if it's useful anymore now that dolphin is ported to KF5.