@claudius @falktx @unfa it looks like you are unaware of how powerful latex is, you are working with plain text, you could just sed all of it to get your translation stuff working, or do some more clever bash scripting, idk
Why is this step necessary? mastodon.falktx.com might not be the server where you are registered, so we need to redirect you to your home server first. Don't have an account? You can sign up here
mastodon.falktx.com
