Some (hopefully) helpful and definitely well-meaning commentary

No need to actually pull, Pull Requests are just easy communication tools...