Summary
- Some minor cleaning up. (commit: 628282b) (details)
- General: make sure that reloading a file involves checking that a file (commit: 4553cf7) (details)
- General: make sure that reloading a file involves checking that a file (commit: 169409c) (details)
- Some minor cleaning up. (commit: 4bf0cbd) (details)
- General: a new file (with no specific type) is not wrongly considered to (commit: ee5524f) (details)
- Slight update to our downloads page (#1530). (commit: 81733e1) (details)