In case it helps, I ended up finding a specific fertilizer with crabgrass preventer that is safe for use when seeding or overseeding.
It is called 'Preen New Lawn Crabgrass Preventer Plus Seed Starter Fertilizer' (not cheap, but, hopefully, worth it).
I applied that directly after applying some Scott's Premium Sun/Shade seed blend (supposedly their best grass).
I used a Scott's spreader, so it was easy to apply both products.
The biggest pain is having to water it twice daily for the first 1 - 2 weeks, until seedlings have established themselves.
In my case this specific Preen product was not readily available (not at Lowes, Home Depot, KMart etc.), but their support is very friendly and they can direct you to a local supplier.
If anyone else tries it, please post your results.
I applied it just over a week ago; didn't want to apply it too late.
PS: The Patchmaster worked pretty well, despite the mistake of using fetilizer too soon (mentioned here last fall).
It takes a fair amount of time to prepare the soil and to apply properly, so I would not recommend it for very large jobs; nevertheless I used it for a decent size bare patch and the effort required wasn't excessive IMO.
Plextor PX-716A TLA0304
Plextor PX-716A same TLA
LiteOn 52246S 52X CD-RW
LiteOn 52246S (another)
LiteOn 52327S 52X CD-RW
TDK 40X USB 2.0 CD-RW
TEAC CD-W540E 40X CD-RW