After deleting pages from a PDF document, then saving, the file size of the result document remains ~same as the original.

This 'bug' / issue...