Yep!
And by the way, mantis is the preferred reporting mechanism -- this forum is mainly for things that aren't bugs, but are more problems with networking or drivers or whatever. So having it in mantis is the fastest way to make sure we see it. Cheers!
