As you mentioned, this one started off as the same document, that you have, but I have started editing it. For example the column that shows which IO pin this pin is used on on the Arduino shield. Although actually the correspondence between the board IO pins is not complete 1 to 1. That is for example: MRAA pin 51 is connected to Edison GPIO41, which on the Arduino Edison board is on IO pin 10 as I marked, but so is the SPI CS pin. Which is actually connected at any time depends on the state of some MUX component on the Arduino board...
For me the best version of this type table is the set of tables that is part of the emutexlabs.com document for GPIO Pin Multiplexing.
Again as I mentioned it is just my cheatsheet
