Miscellaneous stuff that doesn't belong to a specific project.