Your assumption is 100% correct. The post was indeed a victim of HN title mangling. :)