Merge history from osmo-gsm-manuals.git