I first did this on one HDR and then repeated it twice on another. Results were the same each time.
Nothing wrong with your results but there's a different reason for why the screen gets stuck. If you do the same experiment on BBC ONE <region>, you won't see the problem.
The code sees the timestamp in "PAUSE 13:26", and sends "PLAY 13:26" instead.
Code:
[RR] Mon Feb 27 13:26:45 2017: -> SetText(0x12) 50 41 55 53 45 20 20 31 33 3a 32 36
[RR] Mon Feb 27 13:26:45 2017: [ P A U S E 1 3 : 2 6 ]
[RR] Mon Feb 27 13:26:45 2017: VFD timestamp: 13:26
[RR] Mon Feb 27 13:26:45 2017: Timeshift play assumed (elapsed: 0)
[RR] Mon Feb 27 13:26:45 2017: +> SetText(0x12) 50 6c 61 79 20 31 33 3a 32 36
[RR] Mon Feb 27 13:26:45 2017: [ P l a y 1 3 : 2 6 ]
Within 15 seconds, you press stop, it sees the channel name being sent to the screen but still thinks that playback is in progress (as it' s< 15 seconds since the last timestamp was seen)
Code:
[RR] Mon Feb 27 13:26:45 2017: [ Pause = OFF ]
[RR] Mon Feb 27 13:26:46 2017: -> SetText(0x12) 42 42 43 20 54 57 4f
[RR] Mon Feb 27 13:26:46 2017: [ B B C T W O ]
[RR] Mon Feb 27 13:26:46 2017: Timeshift play assumed (elapsed: 1)
.[RR] Mon Feb 27 13:26:46 2017: +> SetText(0x12) 50 6c 61 79 20 31 33 3a 32 36
[RR] Mon Feb 27 13:26:46 2017: [ P l a y 1 3 : 2 6 ]
As the channel name is short enough for no scrolling, no more screen events occur until you press a key, which is why the display is stuck.
Compare this with earlier where there was a 38 second delay between the last PAUSE message from the Humax firmware and you pressing STOP.
Code:
[RR] Mon Feb 27 13:15:41 2017: -> SetText(0x12) 50 41 55 53 45 20 20 31 33 3a 31 35
[RR] Mon Feb 27 13:15:41 2017: [ P A U S E 1 3 : 1 5 ]
[RR] Mon Feb 27 13:15:41 2017: VFD timestamp: 13:15
[RR] Mon Feb 27 13:15:41 2017: Timeshift play assumed (elapsed: 0)
[RR] Mon Feb 27 13:15:41 2017: +> SetText(0x12) 50 6c 61 79 20 31 33 3a 31 35
[RR] Mon Feb 27 13:15:41 2017: [ P l a y 1 3 : 1 5 ]
..38 second delay..
[RR] Mon Feb 27 13:16:09 2017: [ Pause = OFF ]
[RR] Mon Feb 27 13:16:09 2017: -> SetText(0x12) 42 42 43 20 54 57 4f
[RR] Mon Feb 27 13:16:09 2017: [ B B C T W O ]
In that case, it's more than 15 seconds since it last saw a timestamp so it doesn't interfere and the screen goes straight back to the channel name.
This is definitely a bug that needs addressing, it just isn't doing exactly what you thought it was.