Miscellaneous developer files, not intended for distribution to users.
