report/infrastructure: Proof and rewrites
report/product: Proof and rewrites
report/evaluation: Proof and rewrites
Bump release version for '0.6.4'
Import rendered report PDF
Merge branch 'release/0.6.4'