The strange things you need to do to file patents in the US