[HCoop-Misc] should we list ourselves here?

[Adam Chlipala]

Terrence Brannon wrote:

> <http://www.faqts.com/knowledge_base/view.phtml/aid/3008/fid/199>I'd 
> be happy to submit entries in both places if it's OK with everyone.

In general, I think we are fine with anyone advertising us anywhere.  
However, personally I would put this off until after we switch to the 
new set-up, to reduce the number of members involved in migration.

BTW, this message and anything else that is truly about HCoop should go 
to hcoop-discuss, not hcoop-misc.