[readline] some tweaks to the readline regex highlighting