I get a nice little printer top right. It doesn’t show if DiscoTOC is active though:
Personally, I’d find it better if it was also in the topic options down the bottom (or better yet, we could choose between the two sites).
5 Likes