Text this: <An> Optimal linear income tax with a subsidy on housing