I make a copy of the bookmarks on a disk that the teacher then can install
at home.