The user is facing the issue that when they are trying to Renumber a page and have the option "Maintain Terminal Number" checked. They are seeing that the Terminal Number is not maintained even when the option is checked.
The reason for this is that the "Maintain Terminal Number" only applies to the Terminal Number and not the Device Id of the Terminal (Installation + Location + Device Tag). 1. Hence if the users need to maintain the Device Id of the Terminal they should have the "Maintain Device Id" checked. If they need to maintain the Terminal Number They need to check the "Maintain Terminal Number" options.