plenary/index.html: use get_title