https://quickstrom.github.io/ltl-visualizer/<meta http-equiv='refresh' content='0;url=https://quickstrom.github.io/ltl-visualizer/'>