This is great news: https://twitter.com/kazamatsuri/statuses/380518558184128512 PS4 will allow recording over HDMI.