Design notes#

Design records and change requests for pgmi internals.