Mention no warranty, public domain