Miscellaneous shell scripts related to web stuff