[pythux]

It can be both, we have people who look at community feedback on a daily basis, but engineers also tend to be out there on HN and Reddit, etc. and today it was the case that I saw the comment and could jump in straight away.