Misc scripts and such, made public for the convenience of others.