Lost source files are now back!