Gracenote have corrected the Derby Post Codes lineups for Local Broadcast Listings for channel 1 where it now does give the BBC1 East Midlands channel - as per NG1 lineup
That is a separate issue - for the regional HD channels and the state is exactly as here
This is different and if HD BBC channels are now regional then I will need to refer that to gracenote
For now you have channel 1 as the correct regional channel but for 101 you have the BBC1 England HD channel
Update: Request passed to Gracenote to implement the changes outlined here Update on changes to BBC One HD on Freeview/Youview in England - Media Centre