I meant it in the sense of "will he ever comment again under the HN username of PG". For all I know, he might be commenting now under a different username, but

I meant it in the sense of "will he ever comment again under the HN username of PG". For all I know, he might be commenting now under a different username, but if so, that's his business. Not mine. It has been a while since the PG account has commented. I was just curious if he plans to return to the PG account.