What about deleting the brake booster,
3 reasons.
This vehicle will be city use orientated for most, 'power brakes' are light with short pedal travel, and have pretty much been a feature in cars since the 70s, including the smallest of cars today.
30% of the interested parties are 60 years+, and some have mentioned "bad knees" and therefore can't drive a manual anymore.
I am trying to stick with OEM packages that don't need modification, deleting the booster will require adaption and modified pushrod.