Just wanted to say that the “Document source” information when clicking on a title in HTML scribble docs is very useful!

Oh dear, this is really well-hidden. I was looking for such a feature and was about to suggest it in a Racket Github ticket!

Nice easter egg though (fitting the time of the year). :smile:

Another feature I’d like to see (seen in the Python docs): a link from the documentation of a module to the source code of the module implementation (not “only” the source code of the documentation).

I want to make that happen but it’s definitely harder to implement. It would require storing more information in the documents

> Oh dear, this is really well-hidden. > … > Nice easter egg though (fitting the time of the year). When I wrote this, I didn’t think of the person who implemented this feature reading this. Sorry if I offended anyone.

No, I’m glad you found it useful

There are a couple reasons it’s in that box: it is similar to the other information there, it’s not necessary for everyone, and it does a network request so it’s not available immediately

@sschwarzer just in case: for modules coming from user packages, usually you can click on package name at the top right of the docs, this will lead you to the package source

(which is also very useful, thanks for that too!)

> There are a couple reasons it’s in that box It’s completely fine for me it’s not shown by default, but I wish there was a way to discover this feature other than by accident. Would it be possible to have at least a small gray icon close to the title, or maybe some hint that at least appears if you mouse over it?

I’d be happy to take either patches or a mockup of what you think would be an improvement

Thank you Dr Racket for auto-saving my program, since the computer crashed when I went to get a coffee.

Careful, your computer appears to be jealous of your coffee machine. Perhaps it thinks you’re switching to Java. Good thing DrRacket has your back!