Yes; that's exactly how I see it as well.

I believe append_recno can have its own lock, it's a different lock than we'd use for keys.