no longer needed cc @karel That's a thanks post (and is thus straightforwardly NAA), not a duplicate answer. Sometimes it's hard to tell which, but in this case the post consists of a blockquote from another answer followed by an explicit statement of thanks.