A fix today for GNOME Shell's screen casting/recording service was merged after it was reported that H.264 recordings using the Video Acceleration API (VA-API) are around 18x larger than they should be like when using the VP8 software fallback...