My guess is that Widevine is pretty universally supported across multiple streaming platforms (i.e. won the DRM format war, even for audio) and 720p is good enough for most users. L1 also requires hardware decryption keys which are unique per device AFAIK (assuming Android - {I know browsers use a shared L3 key but not sure how L1 is implemented on PC formats}) and easily blacklisted.
For Linux users wanting a home theatre experience, I feel they are probably more inclined to go the bluray/piracy route. Personally I use my Android TV to stream in 4K with surround sound but am satisfied that I can still play everything using Linux, albeit at a lower resolution.