Thanks for that @ThomasM125, that's very helpful. I was just worried it might somehow end up treated as taxable based on answering "no" to being a government employee, when it's a tax-deferred contribution.
