The LibGDX documentation should include information on teavm and bytecoder because Google no longer actively maintains GWT.