It's borderline. Really we should avoid GPL all together but it may be okay us just referencing it like this as we aren't actually redistributing it.