Plan for Proton 0.13.1

[Justin Ross]

Hi, folks.  I'm planning to produce a minor Proton update at the end of
this week.  Please raise candidate issues.  They should be important,
minimum-delta fixes.

Thanks,
Justin