Mentions bash shell convenience function to avoid recompiles.