The story is known to be inaccurate in technical detail¹, so it's not impossible that it's inaccurate in social detail as well. There's some LGP-30 code on Bitsavers including scanned coding forms, and the ones initialled ‘MK’ are not notably different in level of commentary from the others.