Re: [PyTone-users] Revised capitalisation patch and bug fix