personal configuration files for the Awesome Window Manager, among a few others