On Mon, 12 Mar 2018 15:33:32 +0100
ludo@gnu.org (Ludovic Courtès) wrote:

> Reminds me of one of these discussions we had while wandering in
> Brussels.  :-)

Hehe yep :D

> Should it be simply ada.scm, given that “AdaCore” is the name of the
> company?

Sure.

I've applied this one to master.