PSA: the comments section of developers' posts (or pinging developers out of the blue) are not issue trackers or bug report forms!