Merge patch series "Putting some basic order on isa extension lists"