Missing files added (got dropped due to overeager gitignore)