Website: clarify contact us?

[June Andronick]

In various pages we have a "contact us" link that goes to the general contact pages, that has all the various emails. Do we want to be more specific to which address to use for the topic where the "contact us" mention is?

Eg:

• in the "Use" / "Retrofitting and transitioning to seL4" we have "contact us" in many places (if want to use seL4, if want to extend what's supported in the roadmap etc)
• in "Contribute", we have "contact us" to discuss proof contributions

Other pages have the specific email, eg:

• in "TM": "please contact [e-mail]"
• in "Join us": "Email us at [e-mail]"