Great question, the honest answer is : purely out of luck! 
I read that the Mini mk3 was showing up as Launchpad Mini MK3 1, so I tried the same name formatting, since both devices have a similar note/CC layout.
Now a better answer would be :
When you look at supported_devices.lua, line 33 :
midi_device.name contains ‘Launchpad Pro MK3 1’ because of a midi.devices() query in midigrid.lua . See this doc for more info
So this line is converting our string to lowercase, and if ‘launchpad pro mk3 1’ matches one of the midi_base_name values plus any digit (because of %d), then it returns device_type .
This is why this extra line comes in handy :
{ midi_base_name= 'launchpad pro mk3', device_type='launchpad_promk3' },
As you can see, it’s essentially saying : “if the device shows up as ‘Launchpad Pro Mk3 1’, let’s reference it as launchpad_promk3 from now on.”
A least that’s how I understand it, @JaggedNZ or anyone, do let me know if I’m talking rubbish!
Hope that will help!