Merge branch 'develop'
Bump a few version numbers.
Merge branch 'release-17.23'
Merge branch 'release-17.23' into develop
Merge remote-tracking branch 'ospalh/master'
Merge branch 'develop' into develop-ospalh-special

Conflicts:
	play_button.py
Add forgotten import
Merge branch 'hotfix-17.23.1' into develop
Merge branch 'develop' into develop-ospalh-special