Apologies for the low quality submission title. RED is obviously a maker of digital cameras; in this context the expression "film camera" is misleading; the HN bookmarklet just adopted the title that was being used at the time by Techcrunch (which has since been edited to "cinema camera").