A miscellaneous set of PHP scripts