[Openid-specs-fapi] Issue #696: FAPI2SP should reference formal analysis (openid/fapi)

[josephheenan]

New issue 696: FAPI2SP should reference formal analysis
https://bitbucket.org/openid/fapi/issues/696/fapi2sp-should-reference-formal-analysis

Joseph Heenan:

The FAPI2SP currently has a link to the FAPI1 formal analysis. I’m not sure if this is still needed.

It probably should have a reference to the FAPI2 formal analysis: [https://openid.net/fapi-2-0-announcement/](https://openid.net/fapi-2-0-announcement/)