<https://www.electronicspoint.com/forums/threads/ir-receiver-problem.289370/>
<http://schema.org/dateModified>
"2018-09-20"^^<http://schema.org/Date>
<https://www.electronicspoint.com/forums/threads/ir-receiver-problem.289370/>