Common files for inside Tehplayground's Docker containers