Common customizations of the VerDIS system.