mikecrittenden/gedit-folding not found