Tesla’s April Fools’ Day joke is now an actual trademark application.