i hadn’t seen that PR
recently this file came up in another thread… maybe there is more interest than i had anticipated
i had a different take than you had on what we could do with that file… see How to add extra ports to /etc/services? - #10 by aanderse for the rough idea
maybe worth investigating? 