TLDR

dump of “things” about PPC