IMHO, I believe you've made the correct call based on your argument and as stated in the section from the OCR that you have cited.
That was a very interesting post, btw.