Quote:
the developer version, with its shell prompt available, uses slightly more RAM


If the developer version uses more RAM (and I don't think it does), it's not because of the shell prompt -- bash is not resident in RAM at the same time as the player.
_________________________
-- roger