Some very basic customizations on the vanilla swagger-ui frontend