Problem/Motivation
$settings['deployment_identifier'] is hardly known nor documented.
Despite the fact that moving classes may bring you in a situation where you beter know about this:
# settings.php
$settings['deployment_identifier'] = 'something different';
I couldn not even simply find the place where it was invented.
Proposed resolution
Document this by adding a deployment example script that includes creating this.