[bigstrat2003]

Indeed it is, but can people please not abuse the flag function for such cases? It's not against the rules to be mistaken, and "flag" is not supposed to be a super downvote.

[andrewshadura]

I never use the flag function.