rustdoc sidebar's tooltips demo