Yes, for reference, the documentation about maven-release-plugin supporting this is here: https://maven.apache.org/guides/mini/guide-reproducible-builds.html#faq
That reminds me that we should probably also set <notimestamp>true</notimestamp> for the maven-javadoc-plugin.
