miscellaneous, but useful small functions for WordPress.