tactics.md

title	EasyCrypt tactics
header-includes	<script src="replay/replay.bundle.js"></script> <script src="https://code.jquery.com/jquery-3.7.1.js" integrity="sha256-eKhayi8LEQwp4NKxN+CfCh+3qOVUtJn3QNZ0TciWLP4=" crossorigin="anonymous"></script>

Link to ad hoc documentation using markdown on github while we figure out which static website generator to use