Make it clear that SAFEx is dedicated to the public domain