The site has expired. Do we want to keep the domain? Does anyone have suggestions for hosting, contents, and funding? Dov -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.freedesktop.org/archives/fribidi/attachments/20180819/38497ea8/attachment.html>