Updating some left-overs that haven't been in the repository until now. Mostly not-often-used files, including: