Popcorn Time just updated to a new version that allows you to push to a smart TV directly (without having to navigate to a DLNA server on your smart TV first and pick a video to watch). Is there any other media player that does this?