Are we able to do that? We do not have the top level of tools.wmflabs.org?

Judging on the basis of things like https://tools.wmflabs.org/reasonator/ , there should be a way.

I think I can get this done wednesday morning, I'm quite familiar with favicons

Is there a urls.py file for in scholia? or how are pages served, I want to create a redirect for /favicon.ico to the static path

Edit: Is this done through flask @main.route ?

Edit: yes

I am wondering whether HTML base tag could/should be used (too)

Users are beginning to notice: https://twitter.com/GerardMeijssen/status/1202466066175266816

The favicon is now running.

I had difficulty reviewing the code as I am not familiar with favicon. I thought it was just a question of putting something in the root directory, but I see it is somewhat more elaborate.

Need to add a few more redirects but for 99% of real use cases it's fine :)

Actually reading what that says, I don't know if we can fully resolve as we aren't serving our site from the / root domain. Therefore I don't think there is much that can be done but that's not a bad thing :)

Looks good enough for the moment. Close?

👍