GMP Documentation

If it’s not written down, it did not happen.