Merge tag 'asterix-0.8.3' into documentation
Fix version numbers in documentation