document.addEventListener("DOMContentLoaded", function(event) {
    // Collabora
    let collabora = document.getElementById("collabora");
    collabora.disabled = true;
});