Determine filetype from URL through HEAD request #770

Job	Run time
⬢ Prepare Node.js	6m 32s
🔍 Check if pull request	4s
🐍 Prepare Python	24s
🧱 Build test matrix	9s
📝 Build API docs	41s
🗃 Build datasets	2m 8s
🔍 Check	2m 24s
🧪 Doc Test	1m 48s
🧱 Build Spotlight	3m 22s
🧪 Unit Test	1m 22s
🔍 Check wheel contents	44s
🧪 Integration Test (ubuntu-latest, 3.8)	11m 37s
🧪 UI Test (chrome)	2m 49s
🧪 UI Test (firefox)	4m 39s
🚀 Release Spotlight	0s
	38m 43s

Provide feedback