Minor changes in configuration just to see whether github pages will
compile.