Producer Chris Thomas got involved with the Pink Floyd again and ended up organising the mixing of what subsequently became the band’s biggest ever album – now exactly what sleeve credit should you get?