I, and some other people have been doing this for the Atmel processors (in the Arduino setting, which is really using the GNU C++ AVR toolchain.) This is my project [Link: github.com]
. A similar, more well known project is this: [Link: github.com]
. If you are really looking for a PIC project, look at IrToy by Dangerous Prototypes [Link: dangerousprototypes.com]
, their hardware design and their software are freely available.
I am convinced your intention is to be helpful, but I consider the two documents to be unnecessarily long and difficult, unsuitable for giving to people who are asking to understand Pronto hex. The subject is really not that hard. I have tried to explain it here [Link: harctoolbox.org]
. That takes up "half a page", not eight pages.