It was an accidental pun. I noticed it before posting the comment and almost rewrote it. I'm not one of those people who say "no pun intended", so I just let th

It was an accidental pun. I noticed it before posting the comment and almost rewrote it. I'm not one of those people who say "no pun intended", so I just let the pun go free for others to discover.