Summary
- Some minor cleaning up. (details)
- General: make sure that reloading a file involves checking that a file (details)
- General: make sure that reloading a file involves checking that a file (details)
- Some minor cleaning up. (details)
- General: a new file (with no specific type) is not wrongly considered to (details)
- Slight update to our downloads page (#1530). (details)