Version bump
Merge branch 'release/1.3.5'
Merge tag '1.3.5' into develop

v1.3.5

- Fix: os-specific downloads need to be identified more specifically than was previously done