At least in some cases, it's actually using Linux and open document format, e.g. https://en.wikipedia.org/wiki/GendBuntu