I was wrong about taking the HTC messaging out of the OEM being a fix for having trouble sending SMS without manila.
The bug came back today and I had to soft reset to be able to send texts again. Actually happened twice today.
Back to the kitchen ...