Bump develop version to 2.4.0dev
Merge branch 'version/bump' into develop

Bump develop to 2.4.0dev
Merge branch 'releases/2.3.0' into develop

2.3.0 readiness

Conflicts:
	docs/languages/en/conf.py
Merge branch 'version/bump' into develop

Bump to next maintenance dev release

Conflicts:
	docs/languages/en/conf.py
Merge pull request #1221 in develop
Merge pull request #1222 in develop
Merge pull request #1223 in develop
Merge pull request #1228 in develop
Merge pull request #1228 in develop
Merge pull request #1230 in develop
Merge pull request #1232 in develop
Merge pull request #1231 in develop
Merge pull request #1238 in develop
Merge pull request #1239 in develop
Merge pull request #1243 in develop
Merge remote-tracking branch 'origin/pr/1224' into develop

Forward port #1224
Merge branch 'hotfix/1226' into develop

Forward port #1226
Merge remote-tracking branch 'origin/pr/1236' into develop

Forward port #1236
Merge branch 'hotfix/1237' into develop

Forward port #1237
Merge branch 'hotfix/1242' into develop

Forward port #1242