<!doctype html>
<html>
<head>
<meta http-equiv="refresh" content="0; URL='https://git.phc.dm.unipi.it/g.videtta/notes'" />
</html>