Hello, tximport comes with a blob of jquery and fonts in a non-functional documentation file. These should be substituted with our jquery package but I do not want to do anything that would interfere with the routine update script. And I don't really want to just remove the documentation, either. Do we have any policy on this? I am tempted to just leave everything as it is and override the lintian errors. Best, Steffen