Merge branch 'cosmetics' into 'master'

Print information about the libraries used in the greeting message

I had nothing better to do whilst sitting at the back of the room during the DEX workshop...

See merge request !72