Hello, we haven't gotten any bug reports about 5.11 rc3 so I am inclined to re-tag rc3 as 5.11.0 and call it beautiful. I will do so tomorrow morning unless a sufficiently serious bug is reported in the meantime. All the best, Robert Dodier