Add missing link in the Irmin post