Mastering for vinyl is very common in the industry. I don't have time to dig up a reference right now, but the medium has different constraints than digital so is usually mastered separately, especially for big budget stuff. The differing constraints are mainly that while CD has a hard amplitude limit (hence brickwall limiting), the constraint on vinyl is not hard in the same way -- it mostly has to do with amplitude of low frequencies and skipping grooves.