A Windows Shell extension for better PDF thumbnail handling