Is PingSource the only thing deprecated for 0.13?  If so, we should instead just make this a section for "Migrating CronJobs to PingSource" under Eventing - it will be easier for readers to find what they're looking for. We can always expand things later if there are other migrations required.    WDYT @mattmoor @carieshmarie ?