Double declutching is a lost art, it seems.
It involved moving the shifter into neutral, revving the engine still in neutral, and clutching and shifting into the gear when the RPMs were "right". Skilled double-declutchers could shift nearly as quickly as ordinary drivers with syncromesh.
Common in older cars when I was young, in the proterozoic.