How the coronavirus might change bathroom design