<?php

echo 'See the <a href="https://atutor.github.io/atutor/docs/gameme_instructor.html">GameMe Instructor Documentation</a>, or see <a href="https://atutor.github.io/atutor/docs/gameme_gamification.html">Gamifying ATutor Courses</a>.' ;
?>