to demo rustdoc sidebar's tooltips