[DO NOT MERGE] Versioning up for detailed-version.js

To be merged after or just before the release.

Related to #1793