Side note: I'm surprised by how heavy-handed the HDR looks in that particular set of photos. I'm used to seeing modern smartphones do a much better job of auto HDR in most situations.