Hello,Quick question to Bastien about the website: because of the gnu.org downtime I noticed that orgmode.org loads the css from gnu.org so also the orgmode website was affected. I was curious about this choice - is there's a specific reason for loading the CSS there or it's just "accidental"?
Thanks
