The principal representation category of infinite reductive groups is not a highest weight category. Issue 1 (2nd January 2023)