Comment on anything for "fxstdse" (user)