This LeoInteg 1.0.11 release is a follow up to the 1.0.10 release, consisting mainly of small bugfixes.