This stuff is public domain. I hereby waive any copyright.