<!-- 
Include here all the additional JavaScript you may want to use
for giving a more dynamic UX for the GitHub plugin.
 -->
<script type='text/javascript' src='js/jquery/jquery.js?ver=1.4.2'></script> 
<script type='text/javascript' src='js/jquery.cookie.min.js?ver=3.0'></script>