now in code/views.php: sessions_view()